bitkeeper revision 1.775 (404f3d312IPf2eSF1VGO0WBwqhqeaA)
authorkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Wed, 10 Mar 2004 16:07:13 +0000 (16:07 +0000)
committerkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Wed, 10 Mar 2004 16:07:13 +0000 (16:07 +0000)
trace.h:
  new file
Many files:
  Fix compile errors in Xen headers.

143 files changed:
.rootkeys
tools/examples/Makefile
tools/misc/Makefile
tools/xc/lib/Makefile
tools/xc/lib/xc_private.h
tools/xentrace/Makefile
tools/xentrace/xentrace.c
xen/Makefile
xen/arch/i386/extable.c
xen/arch/i386/nmi.c
xen/arch/i386/pci-dma.c
xen/arch/i386/pci-i386.c
xen/arch/i386/pci-irq.c
xen/arch/i386/pci-pc.c
xen/arch/i386/usercopy.c
xen/common/brlock.c
xen/common/kernel.c
xen/common/network.c
xen/common/resource.c
xen/common/string.c
xen/common/timer.c
xen/drivers/block/cciss.h
xen/drivers/block/cciss_scsi.c
xen/drivers/char/keyboard.c
xen/drivers/ide/ide-pci.c
xen/drivers/ide/ide_modes.h
xen/drivers/ide/piix.c
xen/drivers/message/fusion/isense.h
xen/drivers/message/fusion/linux_compat.h
xen/drivers/message/fusion/mptbase.h
xen/drivers/message/fusion/mptscsih.h
xen/drivers/message/fusion/scsi3.h
xen/drivers/net/3c59x.c
xen/drivers/net/8139too.c
xen/drivers/net/Space.c
xen/drivers/net/e100/e100.h
xen/drivers/net/e100/e100_config.c
xen/drivers/net/e100/e100_config.h
xen/drivers/net/e100/e100_eeprom.c
xen/drivers/net/e100/e100_main.c
xen/drivers/net/e100/e100_phy.c
xen/drivers/net/e100/e100_phy.h
xen/drivers/net/e100/e100_test.c
xen/drivers/net/e100/e100_ucode.h
xen/drivers/net/e1000/e1000.h
xen/drivers/net/e1000/e1000_ethtool.c
xen/drivers/net/e1000/e1000_hw.c
xen/drivers/net/e1000/e1000_hw.h
xen/drivers/net/e1000/e1000_main.c
xen/drivers/net/e1000/e1000_osdep.h
xen/drivers/net/e1000/e1000_param.c
xen/drivers/net/e1000/kcompat.c
xen/drivers/net/e1000/kcompat.h
xen/drivers/net/net_init.c
xen/drivers/net/pcnet32.c
xen/drivers/net/setup.c
xen/drivers/net/tg3.c
xen/drivers/net/tulip/21142.c
xen/drivers/net/tulip/eeprom.c
xen/drivers/net/tulip/interrupt.c
xen/drivers/net/tulip/media.c
xen/drivers/net/tulip/pnic.c
xen/drivers/net/tulip/pnic2.c
xen/drivers/net/tulip/tulip.h
xen/drivers/net/tulip/tulip_core.c
xen/drivers/pci/compat.c
xen/drivers/pci/names.c
xen/drivers/pci/pci.c
xen/drivers/pci/proc.c
xen/drivers/pci/quirks.c
xen/drivers/pci/setup-bus.c
xen/drivers/pci/setup-irq.c
xen/drivers/pci/setup-res.c
xen/drivers/pci/syscall.c
xen/drivers/scsi/BusLogic.c
xen/drivers/scsi/BusLogic.h
xen/drivers/scsi/FlashPoint.c.inc
xen/drivers/scsi/aacraid/aachba.c
xen/drivers/scsi/aacraid/commctrl.c
xen/drivers/scsi/aacraid/comminit.c
xen/drivers/scsi/aacraid/commsup.c
xen/drivers/scsi/aacraid/dpcsup.c
xen/drivers/scsi/aacraid/linit.c
xen/drivers/scsi/aacraid/rx.c
xen/drivers/scsi/aacraid/sa.c
xen/drivers/scsi/constants.c
xen/drivers/scsi/scsi_dma.c
xen/drivers/scsi/scsi_ioctl.c
xen/drivers/scsi/scsi_module.c.inc
xen/drivers/scsi/scsi_obsolete.c
xen/drivers/scsi/scsi_scan.c
xen/drivers/scsi/scsicam.c
xen/drivers/scsi/sym53c8xx_2/sym_glue.c
xen/include/asm-i386/apic.h
xen/include/asm-i386/byteorder.h
xen/include/asm-i386/dma.h
xen/include/asm-i386/ide.h
xen/include/asm-i386/io.h
xen/include/asm-i386/pci.h
xen/include/asm-i386/string.h
xen/include/asm-i386/timex.h
xen/include/asm-i386/uaccess.h
xen/include/asm-x86_64/apic.h
xen/include/asm-x86_64/byteorder.h
xen/include/asm-x86_64/dma.h
xen/include/asm-x86_64/ide.h
xen/include/asm-x86_64/io.h
xen/include/asm-x86_64/page.h
xen/include/asm-x86_64/pci.h
xen/include/asm-x86_64/pda.h
xen/include/asm-x86_64/timex.h
xen/include/asm-x86_64/uaccess.h
xen/include/hypervisor-ifs/trace.h [new file with mode: 0644]
xen/include/xeno/brlock.h
xen/include/xeno/byteorder/big_endian.h
xen/include/xeno/byteorder/little_endian.h
xen/include/xeno/byteorder/pdp_endian.h
xen/include/xeno/cdrom.h
xen/include/xeno/crc32.h
xen/include/xeno/etherdevice.h
xen/include/xeno/genhd.h
xen/include/xeno/hdreg.h
xen/include/xeno/if.h
xen/include/xeno/if_vlan.h
xen/include/xeno/init.h
xen/include/xeno/interrupt.h
xen/include/xeno/mii.h
xen/include/xeno/module.h
xen/include/xeno/notifier.h
xen/include/xeno/pci.h
xen/include/xeno/reboot.h
xen/include/xeno/skbuff.h
xen/include/xeno/socket.h
xen/include/xeno/spinlock.h
xen/include/xeno/string.h
xen/include/xeno/timer.h
xen/include/xeno/tqueue.h
xen/include/xeno/trace.h
xen/net/dev.c
xen/net/dev_mcast.c
xen/net/devinit.c
xen/net/eth.c
xen/net/skbuff.c

index f077bc425569967ea60678500e398247d7d5f0b0..0dfb9f395c5dac296f094270514767977666d703 100644 (file)
--- a/.rootkeys
+++ b/.rootkeys
 3ddb79c25UE59iu4JJcbRalx95mvcg xen/include/hypervisor-ifs/hypervisor-if.h
 3ead095dE_VF-QA88rl_5cWYRWtRVQ xen/include/hypervisor-ifs/kbd.h
 3ddb79c2oRPrzClk3zbTkRHlpumzKA xen/include/hypervisor-ifs/network.h
+404f3d2eR2Owk-ZcGOx9ULGHg3nrww xen/include/hypervisor-ifs/trace.h
 3f0d22cbroqp_BkoDPwkfRJhaw1LiQ xen/include/hypervisor-ifs/vbd.h
 3ddb79c4qbCoOFHrv9sCGshbWzBVlQ xen/include/scsi/scsi.h
 3ddb79c4R4iVwqIIeychVQYmIH4FUg xen/include/scsi/scsi_ioctl.h
index 0af1c854df37ac1ba37863edd6f14715910b55a1..2170c22ca7c91aed1a7d133622b4744ac7272a87 100644 (file)
@@ -1,12 +1,4 @@
 
-CC        = gcc
-CFLAGS    = -Wall -O3 
-EXTRA_INC = -I../../xen/include -I../../xenolinux-sparse/include -I../xc/lib
-
-HDRS     = $(wildcard *.h)
-SRCS     = $(wildcard *.c)
-OBJS     = $(patsubst %.c,%.o,$(SRCS))
-
 INSTALL  = $(wildcard *.py)
 ETC     = defaults democd netbsd
 INITD    = xendomains
@@ -32,8 +24,3 @@ dist: all
        install --mode=555 $(INITD) ../../../install/init.d
 
 clean:
-
-
-%: %.c $(HDRS) Makefile
-       $(CC) $(CFLAGS) $(EXTRA_INC) -o $@ $<
-
index 6e394d804330c539c98d55d8b2ba6b2fc02353a0..743f0f4402e1ebdc3043822081481f6997f1df41 100644 (file)
@@ -1,7 +1,7 @@
-
-CC        = gcc
-CFLAGS    = -Wall -O3 
-EXTRA_INC = -I../../xen/include -I../../xenolinux-sparse/include -I../xc/lib
+CC         = gcc
+CFLAGS     = -Wall -O3 
+EXTRA_INC  = -I../../xen/include/hypervisor-ifs
+EXTRA_INC += -I../../xenolinux-sparse/include -I../xc/lib
 
 HDRS     = $(wildcard *.h)
 SRCS     = $(wildcard *.c)
index 021d855dee15c429f4bef2279c71a8a588129e83..389c0958bc5041b36d9bcac8d1e65cf2da0db697 100644 (file)
@@ -5,7 +5,8 @@ SONAME   = libxc.so.$(MAJOR)
 
 CC       = gcc
 CFLAGS   = -c -Wall -O3 
-CFLAGS  += -I../../../xen/include -I../../../xenolinux-sparse/include
+CFLAGS  += -I../../../xen/include/hypervisor-ifs
+CFLAGS  += -I../../../xenolinux-sparse/include
 
 HDRS     = $(wildcard *.h)
 OBJS     = $(patsubst %.c,%.o,$(wildcard *.c))
index 6499c58872a0a50b5e276f6932738029006e6b76..d5ce8947ea728453876cd60775b4da1321305a26 100644 (file)
 #include "xc.h"
 
 #include <asm-xeno/proc_cmd.h>
-#include <hypervisor-ifs/hypervisor-if.h>
-#include <hypervisor-ifs/dom0_ops.h>
-#include <hypervisor-ifs/vbd.h>
-#include <hypervisor-ifs/event_channel.h>
+
+/* from xen/include/hypervisor-ifs */
+#include <hypervisor-if.h>
+#include <dom0_ops.h>
+#include <vbd.h>
+#include <event_channel.h>
 
 #define _PAGE_PRESENT   0x001
 #define _PAGE_RW        0x002
index 83dff0fa432c2efc49531eba3e43261d4ee4cde4..5758f6a2e7e074eaaecef9c352c874c3860637ef 100644 (file)
@@ -1,7 +1,8 @@
 
 CC       = gcc
 CFLAGS   = -Wall -O3 
-CFLAGS  += -I../../xen/include -I../../xenolinux-sparse/include
+CFLAGS  += -I../../xen/include/hypervisor-ifs
+CFLAGS  += -I../../xenolinux-sparse/include
 
 HDRS     = $(wildcard *.h)
 OBJS     = $(patsubst %.c,%.o,$(wildcard *.c))
index 73846f39d1e24ae1a201642bac2a20c88fcc872a..edfb907ebd050bce0f2ca656359333177a60a4da 100644 (file)
@@ -23,7 +23,8 @@
 
 #include "../xc/lib/xc_private.h"
 
-#include <xeno/trace.h>
+/* from xen/include/hypervisor-ifs */
+#include <trace.h>
 
 extern FILE *stdout;
 
index 10399a63118ed80c3564805017c36f04688eb6d5..e0203fa69978321a1cb985a0f8662bacbab91d56 100644 (file)
@@ -43,12 +43,11 @@ $(TARGET): delete-unfresh-files make-links $(GENERATED_FILES)
        $(MAKE) -C arch/$(ARCH)
 
 make-links: delete-links
-       ln -sf xeno include/linux
        ln -sf asm-$(ARCH) include/asm
        ln -sf arch-$(ARCH) include/hypervisor-ifs/arch
 
 delete-links:
-       rm -f include/linux include/asm include/hypervisor-ifs/arch
+       rm -f include/asm include/hypervisor-ifs/arch
 
 # Blow away kernel.o because build info is stored statically within it.
 delete-unfresh-files:
index 4cd9f064c37be6211fe967b12b815dcde663f959..de65ff5f0d746ea42c46b46b12a60a7b11d5ffb4 100644 (file)
@@ -2,9 +2,9 @@
  * linux/arch/i386/mm/extable.c
  */
 
-#include <linux/config.h>
-#include <linux/module.h>
-#include <linux/spinlock.h>
+#include <xeno/config.h>
+#include <xeno/module.h>
+#include <xeno/spinlock.h>
 #include <asm/uaccess.h>
 
 extern const struct exception_table_entry __start___ex_table[];
index 16aace462db5a35bde647f5355d3c0d4064a5289..015a627074036aa849ea22f73f1b778e1fb72ac8 100644 (file)
  *  Keir Fraser         : Pentium 4 Hyperthreading support
  */
 
-#include <linux/config.h>
-#include <linux/init.h>
-#include <linux/lib.h>
-#include <linux/mm.h>
-#include <linux/irq.h>
-#include <linux/delay.h>
-#include <linux/interrupt.h>
-#include <linux/time.h>
-#include <linux/timex.h>
-#include <linux/sched.h>
+#include <xeno/config.h>
+#include <xeno/init.h>
+#include <xeno/lib.h>
+#include <xeno/mm.h>
+#include <xeno/irq.h>
+#include <xeno/delay.h>
+#include <xeno/interrupt.h>
+#include <xeno/time.h>
+#include <xeno/timex.h>
+#include <xeno/sched.h>
 
 #include <asm/mc146818rtc.h>
 #include <asm/smp.h>
index 9d19cea867ca5a82dcd4050cd389c79910c1ac42..8bd184e18b53f8849b4f4823eaebbb0106ec5654 100644 (file)
@@ -7,10 +7,10 @@
  * in asm/pci.h.
  */
 
-#include <linux/types.h>
-#include <linux/mm.h>
-#include <linux/lib.h>
-#include <linux/pci.h>
+#include <xeno/types.h>
+#include <xeno/mm.h>
+#include <xeno/lib.h>
+#include <xeno/pci.h>
 #include <asm/io.h>
 
 void *pci_alloc_consistent(struct pci_dev *hwdev, size_t size,
index 7eca534aecc5042a0d94d6013eca9a9d9a24406d..55074f2cf27a5bf5571f2bde5dab168f40212d86 100644 (file)
  * Oct  8, 1999 : Split to pci-i386.c, pci-pc.c and pci-visws.c. [mj]
  */
 
-#include <linux/types.h>
-#include <linux/lib.h>
-#include <linux/pci.h>
-#include <linux/init.h>
-#include <linux/ioport.h>
-#include <linux/errno.h>
+#include <xeno/types.h>
+#include <xeno/lib.h>
+#include <xeno/pci.h>
+#include <xeno/init.h>
+#include <xeno/ioport.h>
+#include <xeno/errno.h>
 
 #include "pci-i386.h"
 
index 2c68d9d3b31ac8ddf5c3a693f8197029bfdb7abc..bc3df821f3917ce584a11d4b3acd06a95b8c953d 100644 (file)
@@ -4,14 +4,14 @@
  *     (c) 1999--2000 Martin Mares <mj@ucw.cz>
  */
 
-#include <linux/config.h>
-#include <linux/types.h>
-#include <linux/pci.h>
-#include <linux/init.h>
-#include <linux/slab.h>
-#include <linux/interrupt.h>
-#include <linux/irq.h>
-#include <linux/sched.h>
+#include <xeno/config.h>
+#include <xeno/types.h>
+#include <xeno/pci.h>
+#include <xeno/init.h>
+#include <xeno/slab.h>
+#include <xeno/interrupt.h>
+#include <xeno/irq.h>
+#include <xeno/sched.h>
 #include <asm/io.h>
 #include <asm/smp.h>
 #include <asm/mpspec.h>
index bb5ba8d2990a36f645d6f96c998faf83dae35a6e..eb8e19913ec975216319e74f831329f956dc7725 100644 (file)
@@ -4,13 +4,13 @@
  *     (c) 1999--2000 Martin Mares <mj@ucw.cz>
  */
 
-#include <linux/config.h>
-#include <linux/types.h>
-/*#include <linux/kernel.h>*/
-#include <linux/sched.h>
-#include <linux/pci.h>
-#include <linux/init.h>
-#include <linux/ioport.h>
+#include <xeno/config.h>
+#include <xeno/types.h>
+/*#include <xeno/kernel.h>*/
+#include <xeno/sched.h>
+#include <xeno/pci.h>
+#include <xeno/init.h>
+#include <xeno/ioport.h>
 
 /*#include <asm/segment.h>*/
 #include <asm/io.h>
index 56322f1b568f33781f7f8606598ae6b4c064e0db..0f3e08e9dbb7f7f7b63032c0eda50504f606a846 100644 (file)
@@ -5,7 +5,7 @@
  * Copyright 1997 Andi Kleen <ak@muc.de>
  * Copyright 1997 Linus Torvalds
  */
-#include <linux/config.h>
+#include <xeno/config.h>
 #include <asm/uaccess.h>
 //#include <asm/mmx.h>
 
index e2bccec6a79e177590c0d5377c9de333111a81ff..f3a74a0c994e5f2a58f0e1764b98e16a548cdff9 100644 (file)
@@ -8,12 +8,12 @@
  * Copyright 2000, David S. Miller <davem@redhat.com>
  */
 
-#include <linux/config.h>
+#include <xeno/config.h>
 
 #ifdef CONFIG_SMP
 
-#include <linux/sched.h>
-#include <linux/brlock.h>
+#include <xeno/sched.h>
+#include <xeno/brlock.h>
 
 #ifdef __BRLOCK_USE_ATOMICS
 
index 055316e7a788bbc5ff5aa8ff2f7e5e44f1d791fd..b963c6f5e994d948ebc84f7cfd2913a53632af87 100644 (file)
@@ -26,7 +26,7 @@
 #include <asm/uaccess.h>
 #include <hypervisor-ifs/dom0_ops.h>
 #include <asm/byteorder.h>
-#include <linux/if_ether.h>
+#include <xeno/if_ether.h>
 #include <asm/domain_page.h>
 #include <xeno/console.h>
 #include <xeno/net_headers.h>
index 9514745d4504b33b07805e4c295306f5d5c3f01d..d13c079e47dbc49f148f5942ac7411a504b08848 100644 (file)
@@ -29,7 +29,7 @@
 #include <xeno/slab.h>
 #include <xeno/spinlock.h>
 #include <xeno/if_ether.h>
-#include <linux/skbuff.h>
+#include <xeno/skbuff.h>
 #include <xeno/netdevice.h>
 #include <xeno/in.h>
 #include <asm/domain_page.h>
index 406fb256a75a44007e68b6a06ec328b46f929ce3..549da588c4168e62f12133440abf50d2b09c52fd 100644 (file)
@@ -7,14 +7,14 @@
  * Arbitrary resource management.
  */
 
-#include <linux/config.h>
-#include <linux/lib.h>
-#include <linux/sched.h>
-#include <linux/errno.h>
-#include <linux/ioport.h>
-#include <linux/init.h>
-#include <linux/slab.h>
-#include <linux/spinlock.h>
+#include <xeno/config.h>
+#include <xeno/lib.h>
+#include <xeno/sched.h>
+#include <xeno/errno.h>
+#include <xeno/ioport.h>
+#include <xeno/init.h>
+#include <xeno/slab.h>
+#include <xeno/spinlock.h>
 #include <asm/io.h>
 
 struct resource ioport_resource = { "PCI IO", 0x0000, IO_SPACE_LIMIT, IORESOURCE_IO };
index 2a8bb6681599e78a49c4418904ed3dfd021e4eb9..a8f5596a0f9f07291b6ee681425c82060cc0379b 100644 (file)
@@ -15,9 +15,9 @@
  *    reentrant and should be faster). Use only strsep() in new code, please.
  */
  
-#include <linux/types.h>
-#include <linux/string.h>
-#include <linux/ctype.h>
+#include <xeno/types.h>
+#include <xeno/string.h>
+#include <xeno/ctype.h>
 
 #ifndef __HAVE_ARCH_STRNICMP
 /**
index c0e7d3a393359d29d449f0b7e87e4018adeded96..f8cf731e9a12919a9351d6b414b1cff1ce3eb1f7 100644 (file)
  *  1999-03-10  Improved NTP compatibility by Ulrich Windl
  */
 
-#include <linux/config.h>
-#include <linux/mm.h>
-#include <linux/time.h>
-#include <linux/timer.h>
-#include <linux/timex.h>
-#include <linux/tqueue.h>
-#include <linux/delay.h>
-#include <linux/interrupt.h>
+#include <xeno/config.h>
+#include <xeno/mm.h>
+#include <xeno/time.h>
+#include <xeno/timer.h>
+#include <xeno/timex.h>
+#include <xeno/tqueue.h>
+#include <xeno/delay.h>
+#include <xeno/interrupt.h>
 
 #include <xeno/event.h>
 
index 1bf141281a98feef4c72d04c8d670e38475a9b8f..c69d3c5a68b235a6bceca61153ab9bcae95cc398 100644 (file)
@@ -1,7 +1,7 @@
 #ifndef CCISS_H
 #define CCISS_H
 
-#include <linux/genhd.h>
+#include <xeno/genhd.h>
 
 #include "cciss_cmd.h"
 
index 1bc89c875e07221ea3734dd429f23a9ed091240e..a76d20f09ab52d1e71b6e080348d8cb2dfe248dd 100644 (file)
@@ -31,7 +31,7 @@
 #include "../scsi/scsi.h"
 #include "../scsi/hosts.h"
 #include <asm/atomic.h>
-#include <linux/timer.h>
+#include <xeno/timer.h>
 
 #include "cciss_scsi.h"
 
index 40fc68cbcef9ab277f28a1ee2850864326b33894..225aa175ec98f39f5a1180acccaa5e26156abcb0 100644 (file)
@@ -14,7 +14,7 @@
 #include <xeno/event.h>
 #include <xeno/console.h>
 
-/* Hash-defines torn from <linux/pc_keyb.h> and <asm/keyboard.h> */
+/* Hash-defines torn from <xeno/pc_keyb.h> and <asm/keyboard.h> */
 
 #define KBD_STATUS_REG      0x64 /* Status register (R) */
 #define KBD_CNTL_REG        0x64 /* Controller command register (W) */
index 76748259f8ecc4ef4e1f30941523ff792da87805..7c5e69233472e19166e602fbcc41b53fc4468ab5 100644 (file)
  *  configuration of all PCI IDE interfaces present in a system.  
  */
 
-#include <linux/config.h>
-#include <linux/types.h>
-#include <linux/kernel.h>
-#include <linux/timer.h>
-#include <linux/mm.h>
-#include <linux/interrupt.h>
-#include <linux/pci.h>
-#include <linux/init.h>
-#include <linux/ide.h>
+#include <xeno/config.h>
+#include <xeno/types.h>
+#include <xeno/kernel.h>
+#include <xeno/timer.h>
+#include <xeno/mm.h>
+#include <xeno/interrupt.h>
+#include <xeno/pci.h>
+#include <xeno/init.h>
+#include <xeno/ide.h>
 
 #include <asm/io.h>
 #include <asm/irq.h>
index 16b8cf123a59ab1355e78b3c7690c0c3d57d6acc..e8d7be152fdcc4e83768943a6adf9038163fafc8 100644 (file)
@@ -7,7 +7,7 @@
 #ifndef _IDE_MODES_H
 #define _IDE_MODES_H
 
-#include <linux/config.h>
+#include <xeno/config.h>
 
 /*
  * Shared data/functions for determining best PIO mode for an IDE drive.
index fe538429f3fe4e6ab2e56cf0c08c6716725ff210..be2ba7ee1f7d2535db3f22f637a7e765d14edcef 100644 (file)
  *
  */
 
-#include <linux/config.h>
-#include <linux/types.h>
-#include <linux/kernel.h>
-#include <linux/ioport.h>
-#include <linux/pci.h>
-#include <linux/hdreg.h>
-#include <linux/ide.h>
-#include <linux/delay.h>
-#include <linux/init.h>
+#include <xeno/config.h>
+#include <xeno/types.h>
+#include <xeno/kernel.h>
+#include <xeno/ioport.h>
+#include <xeno/pci.h>
+#include <xeno/hdreg.h>
+#include <xeno/ide.h>
+#include <xeno/delay.h>
+#include <xeno/init.h>
 
 #include <asm/io.h>
 
@@ -72,8 +72,8 @@
 #define DISPLAY_PIIX_TIMINGS
 
 #if defined(DISPLAY_PIIX_TIMINGS) && defined(CONFIG_PROC_FS)
-#include <linux/stat.h>
-#include <linux/proc_fs.h>
+#include <xeno/stat.h>
+#include <xeno/proc_fs.h>
 
 static int piix_get_info(char *, char **, off_t, int);
 extern int (*piix_display_info)(char *, char **, off_t, int); /* ide-proc.c */
index e1ce503fef3c7c33f4872a094269c2bec7b85cc5..38799a77ad9e506664663bc803e3ca7a8d6dd907 100644 (file)
@@ -3,9 +3,9 @@
 /*=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=*/
 
 #ifdef __KERNEL__
-#include <linux/types.h>               /* needed for u8, etc. */
-#include <linux/string.h>              /* needed for strcat   */
-#include <linux/kernel.h>              /* needed for sprintf  */
+#include <xeno/types.h>                /* needed for u8, etc. */
+#include <xeno/string.h>               /* needed for strcat   */
+#include <xeno/kernel.h>               /* needed for sprintf  */
 #else
     #ifndef U_STUFF_DEFINED
     #define U_STUFF_DEFINED
index 1a798550b43303d77588a929758df3cf8afc5ad4..8ad8925032c9bb0ec408dd664d90684d930e1af0 100644 (file)
@@ -4,10 +4,10 @@
 #define FUSION_LINUX_COMPAT_H
 /*{-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=*/
 
-#include <linux/version.h>
-#include <linux/config.h>
-#include <linux/kernel.h>
-#include <linux/pci.h>
+#include <xeno/version.h>
+#include <xeno/config.h>
+#include <xeno/kernel.h>
+#include <xeno/pci.h>
 
 /*=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=*/
 
index 02e6e4d731c3b165496f7c9a8db1b68915db8c9c..fb5544ee021032c29ecf23621c0f82b309a01b2a 100644 (file)
 
 /* SAE: Xen doesn't have a proc filesystem */
 #if defined(CONFIG_PROC_FS)
-#include <linux/proc_fs.h>
+#include <xeno/proc_fs.h>
 #endif
 
 /*=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=*/
index eaa75beb3d210c677f78ca1d7387ff01fd490f71..8f60d25ee76be5a2cadfbca7055edaf3e5168944 100644 (file)
@@ -155,7 +155,7 @@ struct mptscsih_driver_setup
                 *      Super HACK!  -by sralston:-(
                 *      (good grief; heaven help me!)
                 */
-#              include <linux/capability.h>
+#              include <xeno/capability.h>
 #              if !defined(CAP_LEASE) && !defined(MODULE)
 #                      undef MPT_SCSIHOST_NEED_ENTRY_EXIT_HOOKUPS
 #              endif
@@ -168,12 +168,12 @@ struct mptscsih_driver_setup
 
 /*
  *     tq_scheduler disappeared @ lk-2.4.0-test12
- *     (right when <linux/sched.h> newly defined TQ_ACTIVE)
+ *     (right when <xeno/sched.h> newly defined TQ_ACTIVE)
  *     tq_struct reworked in 2.5.41. Include workqueue.h.
  */
 #if LINUX_VERSION_CODE >= KERNEL_VERSION(2,5,41)
-#      include <linux/sched.h>
-#      include <linux/workqueue.h>
+#      include <xeno/sched.h>
+#      include <xeno/workqueue.h>
 #define SCHEDULE_TASK(x)               \
        if (schedule_work(x) == 0) {    \
                /*MOD_DEC_USE_COUNT*/;  \
@@ -181,7 +181,7 @@ struct mptscsih_driver_setup
 #else
 #define HAVE_TQ_SCHED  1
 #if LINUX_VERSION_CODE >= KERNEL_VERSION(2,4,0)
-#      include <linux/sched.h>
+#      include <xeno/sched.h>
 #      ifdef TQ_ACTIVE
 #              undef HAVE_TQ_SCHED
 #      endif
index 9160ba5e789439c29d66bb67e36102d53885f89c..2e6934d7ecc94c28e0853755d310926c039cb904 100644 (file)
@@ -21,7 +21,7 @@
  *  Includes
  */
 #ifdef __KERNEL__
-#include <linux/types.h>
+#include <xeno/types.h>
 #else
     #ifndef U_STUFF_DEFINED
     #define U_STUFF_DEFINED
index 9478920e5bd967536743772783fe53253624fdf8..86c67dec50afc2181846ea969dfae66e962ed181 100644 (file)
@@ -224,26 +224,26 @@ static int vortex_debug = 1;
 #error You must compile this driver with "-O".
 #endif
 
-#include <linux/config.h>
-#include <linux/lib.h>
-#include <linux/module.h>
-//#include <linux/kernel.h>
-#include <linux/sched.h>
-//#include <linux/string.h>
-#include <linux/timer.h>
-#include <linux/errno.h>
-//#include <linux/in.h>
-#include <linux/ioport.h>
-#include <linux/slab.h>
-#include <linux/interrupt.h>
-#include <linux/pci.h>
-#include <linux/mii.h>
-#include <linux/init.h>
-#include <linux/netdevice.h>
-#include <linux/etherdevice.h>
-#include <linux/skbuff.h>
-#include <linux/ethtool.h>
-//#include <linux/highmem.h>
+#include <xeno/config.h>
+#include <xeno/lib.h>
+#include <xeno/module.h>
+//#include <xeno/kernel.h>
+#include <xeno/sched.h>
+//#include <xeno/string.h>
+#include <xeno/timer.h>
+#include <xeno/errno.h>
+//#include <xeno/in.h>
+#include <xeno/ioport.h>
+#include <xeno/slab.h>
+#include <xeno/interrupt.h>
+#include <xeno/pci.h>
+#include <xeno/mii.h>
+#include <xeno/init.h>
+#include <xeno/netdevice.h>
+#include <xeno/etherdevice.h>
+#include <xeno/skbuff.h>
+#include <xeno/ethtool.h>
+//#include <xeno/highmem.h>
 #include <asm/irq.h>                   /* For NR_IRQS only. */
 #include <asm/bitops.h>
 #include <asm/io.h>
@@ -262,7 +262,7 @@ static int vortex_debug = 1;
 
 #define RUN_AT(x) (jiffies + (x))
 
-#include <linux/delay.h>
+#include <xeno/delay.h>
 
 
 static char version[] __devinitdata =
index 6b4606062b67a11269ed571e8dad9a5ce62e6ab2..ea8d74a5236cc710318c58066e1812e1e4f7e2e1 100644 (file)
 #define DRV_VERSION    "0.9.26"
 
 
-#include <linux/config.h>
-#include <linux/module.h>
+#include <xeno/config.h>
+#include <xeno/module.h>
 
 #ifdef XEN
 typedef int pid_t;
-#include <linux/lib.h>
+#include <xeno/lib.h>
 #endif
-#include <linux/kernel.h>
-#include <linux/compiler.h>
-#include <linux/pci.h>
-#include <linux/init.h>
-#include <linux/ioport.h>
-#include <linux/netdevice.h>
-#include <linux/etherdevice.h>
+#include <xeno/kernel.h>
+#include <xeno/compiler.h>
+#include <xeno/pci.h>
+#include <xeno/init.h>
+#include <xeno/ioport.h>
+#include <xeno/netdevice.h>
+#include <xeno/etherdevice.h>
 #ifndef XEN
-#include <linux/rtnetlink.h>
+#include <xeno/rtnetlink.h>
 #endif
-#include <linux/delay.h>
-#include <linux/ethtool.h>
-#include <linux/mii.h>
+#include <xeno/delay.h>
+#include <xeno/ethtool.h>
+#include <xeno/mii.h>
 #ifndef XEN
-#include <linux/completion.h>
+#include <xeno/completion.h>
 #endif
-#include <linux/crc32.h>
+#include <xeno/crc32.h>
 #include <asm/io.h>
 #include <asm/uaccess.h>
 
index 57248371060ce75690850b496be07738a3ed4b8b..66f3d4f0558daef2818429e8028349165fe75952 100644 (file)
@@ -11,8 +11,8 @@
  *             Fred N. van Kempen, <waltje@uWalt.NL.Mugnet.ORG>
  *             Donald J. Becker, <becker@scyld.com>
  */
-#include <linux/config.h>
-#include <linux/netdevice.h>
+#include <xeno/config.h>
+#include <xeno/netdevice.h>
 
 /*
  * KAF (23/7/02): All the probe shit is gone from here -- each network
index 456d2c7ec8d2a56bd4ceb5143ee94494b7a7cc0d..9bac4a7044fd32ed99a7acbbe1dce9eb53baf20b 100644 (file)
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 *******************************************************************************/
 
 #ifndef _E100_INC_
 #define _E100_INC_
 
-#include <linux/module.h>
-#include <linux/types.h>
-#include <linux/init.h>
-#include <linux/mm.h>
-#include <linux/errno.h>
-#include <linux/ioport.h>
-#include <linux/pci.h>
-#include <linux/kernel.h>
-#include <linux/netdevice.h>
-#include <linux/etherdevice.h>
-#include <linux/skbuff.h>
-#include <linux/delay.h>
-#include <linux/timer.h>
-#include <linux/slab.h>
-#include <linux/interrupt.h>
-#include <linux/version.h>
-#include <linux/string.h>
-/*#include <linux/wait.h>*/
-#include <linux/reboot.h>
+#include <xeno/module.h>
+#include <xeno/types.h>
+#include <xeno/init.h>
+#include <xeno/mm.h>
+#include <xeno/errno.h>
+#include <xeno/ioport.h>
+#include <xeno/pci.h>
+#include <xeno/kernel.h>
+#include <xeno/netdevice.h>
+#include <xeno/etherdevice.h>
+#include <xeno/skbuff.h>
+#include <xeno/delay.h>
+#include <xeno/timer.h>
+#include <xeno/slab.h>
+#include <xeno/interrupt.h>
+#include <xeno/version.h>
+#include <xeno/string.h>
+/*#include <xeno/wait.h>*/
+#include <xeno/reboot.h>
 #include <asm/io.h>
 #include <asm/unaligned.h>
 #include <asm/processor.h>
-#include <linux/ethtool.h>
-/*#include <linux/inetdevice.h>*/
+#include <xeno/ethtool.h>
+/*#include <xeno/inetdevice.h>*/
 #include <asm/bitops.h>
 
-#include <linux/if.h>
+#include <xeno/if.h>
 #include <asm/uaccess.h>
-/*#include <linux/ip.h>*/
-#include <linux/if_vlan.h>
-#include <linux/mii.h>
+/*#include <xeno/ip.h>*/
+#include <xeno/if_vlan.h>
+#include <xeno/mii.h>
 
 #define yield() ((void)0)
 
index d9df35677a7ca1c9d2eb5fe04386aa68643593fa..1118f6574586c84824a55cac87866a8a5222327c 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 *******************************************************************************/
 
index 5d1e194ff25bebbe18f206aa9be86ea25715fa4d..35fb53e12ef2db06bf339c05b17bbb7f483a1f59 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 *******************************************************************************/
 
index ff843e161b76a4869801357d998b479102af2a8c..cd3dec4447bffd79763e5a0afe6510c4a63a6bc1 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 *******************************************************************************/
 
index b2870e6c5b689b40519b9ffa9c848365407f1f88..2314ed3c17a1a0a328898f7dbc97b7884106c659 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 *******************************************************************************/
 
  * 2.1.24       10/7/02
  */
  
-#include <linux/config.h>
+#include <xeno/config.h>
 /*#include <net/checksum.h>*/
-/*#include <linux/tcp.h>*/
-/*#include <linux/udp.h>*/
+/*#include <xeno/tcp.h>*/
+/*#include <xeno/udp.h>*/
 #include "e100.h"
 #include "e100_ucode.h"
 #include "e100_config.h"
@@ -379,7 +379,7 @@ static inline tcb_t *e100_prepare_xmit_buff(struct e100_private *,
                                            struct sk_buff *);
 static void e100_set_multi_exec(struct net_device *dev);
 
-MODULE_AUTHOR("Intel Corporation, <linux.nics@intel.com>");
+MODULE_AUTHOR("Intel Corporation, <xeno.nics@intel.com>");
 MODULE_DESCRIPTION("Intel(R) PRO/100 Network Driver");
 MODULE_LICENSE("GPL");
 
index 08782934bdf6f5da98d819357f22eff183e6d78f..76ad3c4e8852f398521a848fe934522961dd694e 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 *******************************************************************************/
 
index df2d483e67f877eb5d5e3721937009f2cc555a44..aff38fe5861bfecfa5622c304bd2e5779c0ede08 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 *******************************************************************************/
 
index 0ff7266ef8e2acd03f6528816affeb9ff6d4abbc..cdbb1bdfb8d4564aeea6448858526562c389cc39 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 *******************************************************************************/
 
index ccbcd05583aaf43d20b1b363efb401577bf1096a..8a18b953f9a8455eb4ef4f89765faec6c22a2481 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 *******************************************************************************/
 
index efcbf8419b9de6590df895760428dca7a058a6c2..ed6fee3f8890caea641cd84aa5c02c3c2a313daa 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 
 *******************************************************************************/
 #ifndef _E1000_H_
 #define _E1000_H_
 
-//#include <linux/stddef.h>
-#include <linux/config.h>
-#include <linux/module.h>
-#include <linux/types.h>
+//#include <xeno/stddef.h>
+#include <xeno/config.h>
+#include <xeno/module.h>
+#include <xeno/types.h>
 #include <asm/byteorder.h>
-#include <linux/init.h>
-#include <linux/mm.h>
-#include <linux/errno.h>
-#include <linux/ioport.h>
-#include <linux/pci.h>
-#include <linux/kernel.h>
-#include <linux/netdevice.h>
-#include <linux/etherdevice.h>
-#include <linux/skbuff.h>
-#include <linux/delay.h>
-#include <linux/timer.h>
-#include <linux/slab.h>
-#include <linux/interrupt.h>
-#include <linux/string.h>
-//#include <linux/pagemap.h>
+#include <xeno/init.h>
+#include <xeno/mm.h>
+#include <xeno/errno.h>
+#include <xeno/ioport.h>
+#include <xeno/pci.h>
+#include <xeno/kernel.h>
+#include <xeno/netdevice.h>
+#include <xeno/etherdevice.h>
+#include <xeno/skbuff.h>
+#include <xeno/delay.h>
+#include <xeno/timer.h>
+#include <xeno/slab.h>
+#include <xeno/interrupt.h>
+#include <xeno/string.h>
+//#include <xeno/pagemap.h>
 #include <asm/bitops.h>
 #include <asm/io.h>
 #include <asm/irq.h>
-//#include <linux/capability.h>
-#include <linux/in.h>
-//#include <linux/ip.h>
-//#include <linux/tcp.h>
-//#include <linux/udp.h>
+//#include <xeno/capability.h>
+#include <xeno/in.h>
+//#include <xeno/ip.h>
+//#include <xeno/tcp.h>
+//#include <xeno/udp.h>
 //#include <net/pkt_sched.h>
-#include <linux/list.h>
-#include <linux/reboot.h>
+#include <xeno/list.h>
+#include <xeno/reboot.h>
 #ifdef NETIF_F_TSO
 #include <net/checksum.h>
 #endif
 #ifdef SIOCGMIIPHY
-#include <linux/mii.h>
+#include <xeno/mii.h>
 #endif
 #ifdef SIOCETHTOOL
-#include <linux/ethtool.h>
+#include <xeno/ethtool.h>
 #endif
 #ifdef NETIF_F_HW_VLAN_TX
-#include <linux/if_vlan.h>
+#include <xeno/if_vlan.h>
 #endif
 
 #define BAR_0          0
index fdfaa807331fec42bf449e62d904cab2121e2450..2b41739049b352a341877ed0429e98f80a8c2ada 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 
 *******************************************************************************/
index 303651e11525ade0583e52d6d468d0e9c94d17c8..5a390e879dd0d8aff286563677345388fdcd14d2 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 
 *******************************************************************************/
index 4976a3c0843234360525ec43d109c7fdf59fd6d7..34755a450d5659454b060e75ea4843c64312f620 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 
 *******************************************************************************/
index 4b29541b8d0512491c1f2a58a24d1d939dedfc8d..e4b0e411ec407630eb05c7730eedea02ba90947a 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 
 *******************************************************************************/
@@ -204,7 +204,7 @@ static struct pci_driver e1000_driver = {
 #endif
 };
 
-MODULE_AUTHOR("Intel Corporation, <linux.nics@intel.com>");
+MODULE_AUTHOR("Intel Corporation, <xeno.nics@intel.com>");
 MODULE_DESCRIPTION("Intel(R) PRO/1000 Network Driver");
 MODULE_LICENSE("GPL");
 
index 649a01041206e357ffb6da590296c7d610b4bbb4..38810ee4b1cf3d4f9b34ba9048cf74f8d8a5aeb5 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 
 *******************************************************************************/
 #ifndef _E1000_OSDEP_H_
 #define _E1000_OSDEP_H_
 
-#include <linux/types.h>
-#include <linux/pci.h>
-#include <linux/delay.h>
+#include <xeno/types.h>
+#include <xeno/pci.h>
+#include <xeno/delay.h>
 #include <asm/io.h>
-#include <linux/interrupt.h>
-#include <linux/sched.h>
+#include <xeno/interrupt.h>
+#include <xeno/sched.h>
 #include "kcompat.h"
 
 #define usec_delay(x) udelay(x)
index d57f9ff558bd8ac66ee13faaf353861ca9f85d06..7516296714d62667c9b848959f525ab6fa9e6e27 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 
 *******************************************************************************/
index 384b1f782f1485f492269034fb2decbd0e7c76f0..d461c13bcaf0293689b7632d616fb32f6fac6038 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 
 *******************************************************************************/
index 602b8403612fa4f1a7bae9c33919350f0709c7ab..a96824af68a85529ca39c25072f91eb59f3cf758 100644 (file)
@@ -21,7 +21,7 @@
   file called LICENSE.
   
   Contact Information:
-  Linux NICS <linux.nics@intel.com>
+  Linux NICS <xeno.nics@intel.com>
   Intel Corporation, 5200 N.E. Elam Young Parkway, Hillsboro, OR 97124-6497
 
 *******************************************************************************/
 #ifndef _KCOMPAT_H_
 #define _KCOMPAT_H_
 
-#include <linux/version.h>
-#include <linux/types.h>
-#include <linux/errno.h>
-#include <linux/module.h>
-#include <linux/pci.h>
-#include <linux/netdevice.h>
-#include <linux/ioport.h>
-#include <linux/slab.h>
-//#include <linux/pagemap.h>
-#include <linux/list.h>
-#include <linux/sched.h>
+#include <xeno/version.h>
+#include <xeno/types.h>
+#include <xeno/errno.h>
+#include <xeno/module.h>
+#include <xeno/pci.h>
+#include <xeno/netdevice.h>
+#include <xeno/ioport.h>
+#include <xeno/slab.h>
+//#include <xeno/pagemap.h>
+#include <xeno/list.h>
+#include <xeno/sched.h>
 #include <asm/io.h>
 
 #ifndef IRQ_HANDLED
@@ -296,7 +296,7 @@ static inline void _kc_synchronize_irq() { synchronize_irq(); }
 #undef synchronize_irq
 #define synchronize_irq(X) _kc_synchronize_irq()
 
-#include <linux/tqueue.h>
+#include <xeno/tqueue.h>
 #define work_struct tq_struct
 #define INIT_WORK INIT_TQUEUE
 #define schedule_work schedule_task
index 49300a8d0191e9c276db458c08e53b385ecfe11f..515d83411c8db59f8888ffbcf260c79b022becb5 100644 (file)
 
 */
 
-#include <linux/config.h>
-#include <linux/module.h>
-#include <linux/errno.h>
-//#include <linux/kernel.h>
-#include <linux/sched.h>
-#include <linux/types.h>
-//#include <linux/fs.h>
-#include <linux/slab.h>
-#include <linux/if_ether.h>
-#include <linux/lib.h>
-#include <linux/netdevice.h>
-#include <linux/etherdevice.h>
-//#include <linux/fddidevice.h>
-//#include <linux/hippidevice.h>
-//#include <linux/trdevice.h>
-//#include <linux/fcdevice.h>
-//#include <linux/if_arp.h>
-//#include <linux/if_ltalk.h>
-//#include <linux/rtnetlink.h>
+#include <xeno/config.h>
+#include <xeno/module.h>
+#include <xeno/errno.h>
+//#include <xeno/kernel.h>
+#include <xeno/sched.h>
+#include <xeno/types.h>
+//#include <xeno/fs.h>
+#include <xeno/slab.h>
+#include <xeno/if_ether.h>
+#include <xeno/lib.h>
+#include <xeno/netdevice.h>
+#include <xeno/etherdevice.h>
+//#include <xeno/fddidevice.h>
+//#include <xeno/hippidevice.h>
+//#include <xeno/trdevice.h>
+//#include <xeno/fcdevice.h>
+//#include <xeno/if_arp.h>
+//#include <xeno/if_ltalk.h>
+//#include <xeno/rtnetlink.h>
 //#include <net/neighbour.h>
 
 #define rtnl_lock() ((void)0)
index 3c1c65a2e08a96245caabfdea4a1cd503377bbbb..ebc49f47e44398072a221b9c920d5257d667f343 100644 (file)
 static const char *version =
 DRV_NAME ".c:v" DRV_VERSION " " DRV_RELDATE " tsbogend@alpha.franken.de\n";
 
-#include <linux/module.h>
-
-#include <linux/kernel.h>
-#include <linux/sched.h>
-#include <linux/string.h>
-#include <linux/errno.h>
-#include <linux/ioport.h>
-#include <linux/slab.h>
-#include <linux/interrupt.h>
-#include <linux/pci.h>
-#include <linux/delay.h>
-#include <linux/init.h>
-#include <linux/ethtool.h>
-#include <linux/mii.h>
-#include <linux/crc32.h>
+#include <xeno/module.h>
+
+#include <xeno/kernel.h>
+#include <xeno/sched.h>
+#include <xeno/string.h>
+#include <xeno/errno.h>
+#include <xeno/ioport.h>
+#include <xeno/slab.h>
+#include <xeno/interrupt.h>
+#include <xeno/pci.h>
+#include <xeno/delay.h>
+#include <xeno/init.h>
+#include <xeno/ethtool.h>
+#include <xeno/mii.h>
+#include <xeno/crc32.h>
 #include <asm/bitops.h>
 #include <asm/io.h>
 #include <asm/dma.h>
 #include <asm/uaccess.h>
 
-#include <linux/netdevice.h>
-#include <linux/etherdevice.h>
-#include <linux/skbuff.h>
-#include <linux/spinlock.h>
+#include <xeno/netdevice.h>
+#include <xeno/etherdevice.h>
+#include <xeno/skbuff.h>
+#include <xeno/spinlock.h>
 
 #undef TX_RING_SIZE
 #undef RX_RING_SIZE
index 1352a1cb4b9d10f18220685ba047bfb0204d65a7..8ea35dc9a6020cd74c4523fb9729f61e88b551a2 100644 (file)
@@ -3,11 +3,11 @@
  *     New style setup code for the network devices
  */
  
-#include <linux/config.h>
-#include <linux/netdevice.h>
-#include <linux/errno.h>
-#include <linux/init.h>
-//#include <linux/netlink.h>
+#include <xeno/config.h>
+#include <xeno/netdevice.h>
+#include <xeno/errno.h>
+#include <xeno/init.h>
+//#include <xeno/netlink.h>
 
 extern int slip_init_ctrl_dev(void);
 extern int x25_asy_init_ctrl_dev(void);
index 8b36e4d29b60b7f2a1600bb08468b66004cd3e66..d9a87b06f41633a3bb99070f75d2dc7be5c2a4ef 100644 (file)
@@ -5,27 +5,27 @@
  * Copyright (C) 2001, 2002, 2003 Jeff Garzik (jgarzik@pobox.com)
  */
 
-#include <linux/config.h>
-
-#include <linux/module.h>
-
-#include <linux/kernel.h>
-#include <linux/types.h>
-#include <linux/tqueue.h> // Xen
-#include <linux/compiler.h>
-#include <linux/slab.h>
-#include <linux/delay.h>
-#include <linux/init.h>
-#include <linux/ioport.h>
-#include <linux/pci.h>
-#include <linux/netdevice.h>
-#include <linux/etherdevice.h>
-#include <linux/skbuff.h>
-#include <linux/ethtool.h>
-#include <linux/mii.h>
-#include <linux/if_vlan.h>
-//#include <linux/ip.h>
-//#include <linux/tcp.h>
+#include <xeno/config.h>
+
+#include <xeno/module.h>
+
+#include <xeno/kernel.h>
+#include <xeno/types.h>
+#include <xeno/tqueue.h> // Xen
+#include <xeno/compiler.h>
+#include <xeno/slab.h>
+#include <xeno/delay.h>
+#include <xeno/init.h>
+#include <xeno/ioport.h>
+#include <xeno/pci.h>
+#include <xeno/netdevice.h>
+#include <xeno/etherdevice.h>
+#include <xeno/skbuff.h>
+#include <xeno/ethtool.h>
+#include <xeno/mii.h>
+#include <xeno/if_vlan.h>
+//#include <xeno/ip.h>
+//#include <xeno/tcp.h>
 
 //#include <net/checksum.h>
 
index b5686b66cd5b278d7bcee1ae72508dd65919b1ac..f13fd4b94eeda19bcc66ab57830d92cacdb7d17e 100644 (file)
@@ -15,8 +15,8 @@
 */
 
 #include "tulip.h"
-#include <linux/pci.h>
-#include <linux/delay.h>
+#include <xeno/pci.h>
+#include <xeno/delay.h>
 
 
 static u16 t21142_csr13[] = { 0x0001, 0x0009, 0x0009, 0x0000, 0x0001, };
index a48a98b831beedb1e1b8aafb5a1b7d818b6bb863..76458b45025e62f555ca7bcdbcdff66a64d64dad 100644 (file)
@@ -15,7 +15,7 @@
 */
 
 #include "tulip.h"
-#include <linux/init.h>
+#include <xeno/init.h>
 #include <asm/unaligned.h>
 
 
index 25f27b4134f501f6c44bc4628ae82cc803813f34..4a3b5fe5ab02d71cd4c16d39ac30a710e97edc45 100644 (file)
@@ -15,9 +15,9 @@
 */
 
 #include "tulip.h"
-#include <linux/config.h>
-#include <linux/etherdevice.h>
-#include <linux/pci.h>
+#include <xeno/config.h>
+#include <xeno/etherdevice.h>
+#include <xeno/pci.h>
 
 
 int tulip_rx_copybreak;
index 8086cba616b18be4a02e3cbbe8a07be5d7b60b8a..9a8bc3574e41b52637f83be2faf3e22318063e7e 100644 (file)
 
 */
 
-#include <linux/kernel.h>
-#include <linux/mii.h>
-#include <linux/init.h>
-#include <linux/delay.h>
+#include <xeno/kernel.h>
+#include <xeno/mii.h>
+#include <xeno/init.h>
+#include <xeno/delay.h>
 #include "tulip.h"
 
 
index 1aa6ad7354ec4765238b3b7e4b5500af1d440d91..74d0ba00f151bb612a1c0a6c12615a35f6516fe9 100644 (file)
@@ -14,7 +14,7 @@
 
 */
 
-#include <linux/kernel.h>
+#include <xeno/kernel.h>
 #include "tulip.h"
 
 
index 9bd92b1e7dcec8d7d8d9d546fc34efee8f5b76c1..0d9e35236f7c0c7bab7c5d35f273d996fe6fc1cc 100644 (file)
@@ -77,8 +77,8 @@
 
 
 #include "tulip.h"
-#include <linux/pci.h>
-#include <linux/delay.h>
+#include <xeno/pci.h>
+#include <xeno/delay.h>
 
 
 void pnic2_timer(unsigned long data)
index ca519fe8c009c699cb0baa7a84697fc30764afd5..24e37c45002c2f1d477e37827fa9253aaf1b2873 100644 (file)
 #ifndef __NET_TULIP_H__
 #define __NET_TULIP_H__
 
-#include <linux/config.h>
-#include <linux/kernel.h>
-#include <linux/types.h>
-#include <linux/spinlock.h>
-#include <linux/netdevice.h>
-#include <linux/timer.h>
-#include <linux/delay.h>
+#include <xeno/config.h>
+#include <xeno/kernel.h>
+#include <xeno/types.h>
+#include <xeno/spinlock.h>
+#include <xeno/netdevice.h>
+#include <xeno/timer.h>
+#include <xeno/delay.h>
 #include <asm/io.h>
 #include <asm/irq.h>
 
index 2611a825b7e84c07c0aacf6463686d1f2806b857..3163c13d2eec3e48e9d628218bd6d49491928fe6 100644 (file)
 #define DRV_VERSION    "0.9.15-pre12"
 #define DRV_RELDATE    "Aug 9, 2002"
 
-#include <linux/config.h>
-#include <linux/module.h>
+#include <xeno/config.h>
+#include <xeno/module.h>
 #include "tulip.h"
-#include <linux/pci.h>
-#include <linux/init.h>
-#include <linux/etherdevice.h>
-#include <linux/delay.h>
-#include <linux/mii.h>
-#include <linux/ethtool.h>
-#include <linux/crc32.h>
+#include <xeno/pci.h>
+#include <xeno/init.h>
+#include <xeno/etherdevice.h>
+#include <xeno/delay.h>
+#include <xeno/mii.h>
+#include <xeno/ethtool.h>
+#include <xeno/crc32.h>
 #include <asm/unaligned.h>
 #include <asm/uaccess.h>
 
index e035f860ea0ba5e6c7a475071f384c331bfcc3f2..795ce8d0f1c1d515d14147f6368ca461926fd7b1 100644 (file)
@@ -6,9 +6,9 @@
  *     Copyright 1998--2000 Martin Mares <mj@ucw.cz>
  */
 
-#include <linux/types.h>
-//#include <linux/kernel.h>
-#include <linux/pci.h>
+#include <xeno/types.h>
+//#include <xeno/kernel.h>
+#include <xeno/pci.h>
 
 int
 pcibios_present(void)
index 80674543b0f6c8bbc32d44611719e7a0d94d536f..db4b8d569624a055fed4b7425d1fae1284887473 100644 (file)
@@ -5,11 +5,11 @@
  *     David Mosberger-Tang, Martin Mares
  */
 
-#include <linux/config.h>
-#include <linux/types.h>
-/*#include <linux/kernel.h>*/
-#include <linux/pci.h>
-#include <linux/init.h>
+#include <xeno/config.h>
+#include <xeno/types.h>
+/*#include <xeno/kernel.h>*/
+#include <xeno/pci.h>
+#include <xeno/init.h>
 
 #ifdef CONFIG_PCI_NAMES
 
index 30b18ed96cdbee74d356257208ea12e2457e5211..a4786105640904ef6914faadc2bb143050d6b4b3 100644 (file)
@@ -9,22 +9,22 @@
  *     Copyright 1997 -- 2000 Martin Mares <mj@ucw.cz>
  */
 
-#include <linux/config.h>
-#include <linux/sched.h>
-#include <linux/module.h>
-#include <linux/types.h>
-/*#include <linux/kernel.h>*/
-#include <linux/pci.h>
-/*#include <linux/string.h>*/
-#include <linux/init.h>
-#include <linux/slab.h>
-#include <linux/ioport.h>
-#include <linux/spinlock.h>
-/*#include <linux/pm.h>*/
-/*#include <linux/kmod.h>*/            /* for hotplug_path */
-/*#include <linux/bitops.h>*/
-#include <linux/delay.h>
-#include <linux/cache.h>
+#include <xeno/config.h>
+#include <xeno/sched.h>
+#include <xeno/module.h>
+#include <xeno/types.h>
+/*#include <xeno/kernel.h>*/
+#include <xeno/pci.h>
+/*#include <xeno/string.h>*/
+#include <xeno/init.h>
+#include <xeno/slab.h>
+#include <xeno/ioport.h>
+#include <xeno/spinlock.h>
+/*#include <xeno/pm.h>*/
+/*#include <xeno/kmod.h>*/             /* for hotplug_path */
+/*#include <xeno/bitops.h>*/
+#include <xeno/delay.h>
+#include <xeno/cache.h>
 
 #include <asm/page.h>
 /*#include <asm/dma.h>*/       /* isa_dma_bridge_buggy */
index 5e04ad7b33bbfe4954869be6bbd2ad3bff33358e..a6c98046e326ca2ff49d4bb6f14832d1fea0f21e 100644 (file)
@@ -6,12 +6,12 @@
  *     Copyright (c) 1997--1999 Martin Mares <mj@ucw.cz>
  */
 
-#include <linux/types.h>
-#include <linux/kernel.h>
-#include <linux/pci.h>
-#include <linux/proc_fs.h>
-#include <linux/init.h>
-#include <linux/seq_file.h>
+#include <xeno/types.h>
+#include <xeno/kernel.h>
+#include <xeno/pci.h>
+#include <xeno/proc_fs.h>
+#include <xeno/init.h>
+#include <xeno/seq_file.h>
 
 #include <asm/uaccess.h>
 #include <asm/byteorder.h>
index af7b7999c07b41c9fd45182a58af817cdc21ee7f..b3f4138800d291a9f9c4c0d531eba06d0a1022e5 100644 (file)
  *  use the PowerTweak utility (see http://powertweak.sourceforge.net).
  */
 
-#include <linux/config.h>
-#include <linux/types.h>
-#include <linux/lib.h>
-#include <linux/pci.h>
-#include <linux/init.h>
-#include <linux/delay.h>
+#include <xeno/config.h>
+#include <xeno/types.h>
+#include <xeno/lib.h>
+#include <xeno/pci.h>
+#include <xeno/init.h>
+#include <xeno/delay.h>
 
 #undef DEBUG
 
index 22e70751711e2607ba47a8d188d83315b1278852..0790d96684ae1bd4852bc86635e7a2b36d2a7738 100644 (file)
  *          tighter packing. Prefetchable range support.
  */
 
-#include <linux/init.h>
-#include <linux/kernel.h>
-#include <linux/pci.h>
-#include <linux/errno.h>
-#include <linux/ioport.h>
-#include <linux/cache.h>
-#include <linux/slab.h>
+#include <xeno/init.h>
+#include <xeno/kernel.h>
+#include <xeno/pci.h>
+#include <xeno/errno.h>
+#include <xeno/ioport.h>
+#include <xeno/cache.h>
+#include <xeno/slab.h>
 
 
 #define DEBUG_CONFIG 1
index 4c65b2e98d78597ce634f0f419756e2aefce3bdc..dae3b502ad01055e637c525687b0f8565cc25cc2 100644 (file)
  */
 
 
-#include <linux/init.h>
-#include <linux/kernel.h>
-#include <linux/pci.h>
-#include <linux/errno.h>
-#include <linux/ioport.h>
-#include <linux/cache.h>
+#include <xeno/init.h>
+#include <xeno/kernel.h>
+#include <xeno/pci.h>
+#include <xeno/errno.h>
+#include <xeno/ioport.h>
+#include <xeno/cache.h>
 
 
 #define DEBUG_CONFIG 0
index bc27b906b4a2b03d453ca9535fe43e945f056549..5c36a6f443252ba34a7b13e9343842a4e5d3f0f4 100644 (file)
  *          Resource sorting
  */
 
-#include <linux/init.h>
-#include <linux/lib.h>
-#include <linux/pci.h>
-#include <linux/errno.h>
-#include <linux/ioport.h>
-#include <linux/cache.h>
-#include <linux/slab.h>
+#include <xeno/init.h>
+#include <xeno/lib.h>
+#include <xeno/pci.h>
+#include <xeno/errno.h>
+#include <xeno/ioport.h>
+#include <xeno/cache.h>
+#include <xeno/slab.h>
 
 
 #define DEBUG_CONFIG 0
index c935efd9a9335475e5c43d23f1fa4437db7d26fd..8a534610c88aa33ecbf5d29cb73cd227f8cc91ab 100644 (file)
@@ -7,10 +7,10 @@
  * magic northbridge registers..
  */
 
-#include <linux/sched.h>
-#include <linux/errno.h>
-#include <linux/pci.h>
-#include <linux/smp_lock.h>
+#include <xeno/sched.h>
+#include <xeno/errno.h>
+#include <xeno/pci.h>
+#include <xeno/smp_lock.h>
 #include <asm/uaccess.h>
 
 
index 83f4b8cb8e11c8ef091a3e8e0edc959b2328f806..86263ee1e95f9befde69b746b1b6ec890cce36a2 100644 (file)
 #define BusLogic_DriverDate            "17 August 1998"
 
 
-#include <linux/version.h>
-#include <linux/module.h>
-#include <linux/config.h>
-#include <linux/init.h>
-#include <linux/types.h>
-#include <linux/blk.h>
-#include <linux/blkdev.h>
-#include <linux/delay.h>
-#include <linux/ioport.h>
-#include <linux/mm.h>
-#include <linux/sched.h>
-/*#include <linux/stat.h>*/
-#include <linux/pci.h>
-#include <linux/spinlock.h>
+#include <xeno/version.h>
+#include <xeno/module.h>
+#include <xeno/config.h>
+#include <xeno/init.h>
+#include <xeno/types.h>
+#include <xeno/blk.h>
+#include <xeno/blkdev.h>
+#include <xeno/delay.h>
+#include <xeno/ioport.h>
+#include <xeno/mm.h>
+#include <xeno/sched.h>
+/*#include <xeno/stat.h>*/
+#include <xeno/pci.h>
+#include <xeno/spinlock.h>
 #include <asm/dma.h>
 #include <asm/io.h>
 #include <asm/system.h>
index b0e1bd755f348333f2e409a9e80b2d9b63c2f86b..5196ccf66f6b0febf06ea767a3e601dda228204b 100644 (file)
@@ -26,7 +26,7 @@
 */
 
 
-#include <linux/config.h>
+#include <xeno/config.h>
 
 
 /*
index 9b07421da52b57e99fb4b2a8893110919c50e474..bd473a977fc40f78c27bcdfd212c85fbcd04051f 100644 (file)
@@ -16,7 +16,7 @@
 */
 
 
-#include <linux/config.h>
+#include <xeno/config.h>
 
 
 #ifndef CONFIG_SCSI_OMIT_FLASHPOINT
index 91153460e896fc387f1901eb5d95c69eeb4219f2..0329cb06652aca02212bc650f86e3922c798025c 100644 (file)
  *
  */
 
-#include <linux/config.h>
-#include <linux/module.h>
-#include <linux/kernel.h>
-#include <linux/init.h>
-#include <linux/types.h>
-#include <linux/sched.h>
-#include <linux/pci.h>
-#include <linux/spinlock.h>
-#include <linux/slab.h>
-/*#include <linux/completion.h>*/
+#include <xeno/config.h>
+#include <xeno/module.h>
+#include <xeno/kernel.h>
+#include <xeno/init.h>
+#include <xeno/types.h>
+#include <xeno/sched.h>
+#include <xeno/pci.h>
+#include <xeno/spinlock.h>
+#include <xeno/slab.h>
+/*#include <xeno/completion.h>*/
 /*#include <asm/semaphore.h>*/
 #include <asm/uaccess.h>
 #define MAJOR_NR SCSI_DISK0_MAJOR      /* For DEVICE_NR() */
-#include <linux/blk.h>
+#include <xeno/blk.h>
 #include "scsi.h"
 #include "hosts.h"
 #include "sd.h"
index 2169d34f43c3ee819d3b834f067bb113bf7204b1..0572c3b0480a1591ecf20035702d472d5800eae3 100644 (file)
  *
  */
 
-#include <linux/config.h>
-#include <linux/kernel.h>
-#include <linux/init.h>
-#include <linux/types.h>
-#include <linux/sched.h>
-#include <linux/pci.h>
-#include <linux/spinlock.h>
-#include <linux/slab.h>
-/*#include <linux/completion.h>*/
-#include <linux/blk.h>
+#include <xeno/config.h>
+#include <xeno/kernel.h>
+#include <xeno/init.h>
+#include <xeno/types.h>
+#include <xeno/sched.h>
+#include <xeno/pci.h>
+#include <xeno/spinlock.h>
+#include <xeno/slab.h>
+/*#include <xeno/completion.h>*/
+#include <xeno/blk.h>
 /*#include <asm/semaphore.h>*/
 #include <asm/uaccess.h>
 #include "scsi.h"
index 531361e55de17b9a5314dd31721b5aae6e4cefc3..c58d67b9b41c29a163f0c8e658b2450aecd0d886 100644 (file)
  *
  */
 
-#include <linux/config.h>
-#include <linux/kernel.h>
-#include <linux/init.h>
-#include <linux/types.h>
-#include <linux/sched.h>
-#include <linux/pci.h>
-#include <linux/spinlock.h>
-#include <linux/slab.h>
-#include <linux/blk.h>
-/*#include <linux/completion.h>*/
-#include <linux/mm.h>
+#include <xeno/config.h>
+#include <xeno/kernel.h>
+#include <xeno/init.h>
+#include <xeno/types.h>
+#include <xeno/sched.h>
+#include <xeno/pci.h>
+#include <xeno/spinlock.h>
+#include <xeno/slab.h>
+#include <xeno/blk.h>
+/*#include <xeno/completion.h>*/
+#include <xeno/mm.h>
 /*#include <asm/semaphore.h>*/
 #include "scsi.h"
 #include "hosts.h"
index 4450dcbe8b78a4f1c9e5c921f09fcbe8b4f8997d..2238dcee19af3a0c8d112bb1d5e4094946732f39 100644 (file)
  *
  */
 
-#include <linux/config.h>
-#include <linux/kernel.h>
-#include <linux/init.h>
-#include <linux/types.h>
-#include <linux/sched.h>
-#include <linux/pci.h>
-#include <linux/spinlock.h>
-#include <linux/slab.h>
-/*#include <linux/completion.h>*/
+#include <xeno/config.h>
+#include <xeno/kernel.h>
+#include <xeno/init.h>
+#include <xeno/types.h>
+#include <xeno/sched.h>
+#include <xeno/pci.h>
+#include <xeno/spinlock.h>
+#include <xeno/slab.h>
+/*#include <xeno/completion.h>*/
 /*#include <asm/semaphore.h>*/
-#include <linux/blk.h>
+#include <xeno/blk.h>
 #include <asm/uaccess.h>
 
 #include <xeno/interrupt.h>
index fab58f32dedee09bf99e68b2887d08e272c8c47d..dd5865ca4b4b6f4e0f17ef8ee59fcfa065881458 100644 (file)
  *
  */
 
-#include <linux/config.h>
-#include <linux/kernel.h>
-#include <linux/init.h>
-#include <linux/types.h>
-#include <linux/sched.h>
-#include <linux/pci.h>
-#include <linux/spinlock.h>
-#include <linux/slab.h>
-/*#include <linux/completion.h>*/
-#include <linux/blk.h>
+#include <xeno/config.h>
+#include <xeno/kernel.h>
+#include <xeno/init.h>
+#include <xeno/types.h>
+#include <xeno/sched.h>
+#include <xeno/pci.h>
+#include <xeno/spinlock.h>
+#include <xeno/slab.h>
+/*#include <xeno/completion.h>*/
+#include <xeno/blk.h>
 /*#include <asm/semaphore.h>*/
 #include "scsi.h"
 #include "hosts.h"
index f68872d7f299375b4ea606420ea99d2b4ccac23b..b68c1a4a5c9d60f87c2b6105a2094c244f80bb21 100644 (file)
 #define AAC_DRIVER_VERSION             "1.1.2"
 #define AAC_DRIVER_BUILD_DATE          __DATE__ " " __TIME__
 
-#include <linux/module.h>
-#include <linux/config.h>
-#include <linux/kernel.h>
-#include <linux/init.h>
-#include <linux/types.h>
-#include <linux/sched.h>
-#include <linux/pci.h>
-#include <linux/spinlock.h>
-#include <linux/slab.h>
-/*#include <linux/completion.h>*/
+#include <xeno/module.h>
+#include <xeno/config.h>
+#include <xeno/kernel.h>
+#include <xeno/init.h>
+#include <xeno/types.h>
+#include <xeno/sched.h>
+#include <xeno/pci.h>
+#include <xeno/spinlock.h>
+#include <xeno/slab.h>
+/*#include <xeno/completion.h>*/
 /*#include <asm/semaphore.h>*/
-#include <linux/blk.h>
+#include <xeno/blk.h>
 #include "scsi.h"
 #include "hosts.h"
 
index 0cb17691d17791b66a8ce759c3dfc4bdb243c71b..2a545437d7331eb59c2c3190b9f7fa53375049de 100644 (file)
  *
  */
 
-#include <linux/config.h>
-#include <linux/kernel.h>
-#include <linux/init.h>
-#include <linux/types.h>
-#include <linux/sched.h>
-#include <linux/pci.h>
-#include <linux/spinlock.h>
-#include <linux/slab.h>
-#include <linux/blk.h>
-#include <linux/delay.h>
-/*#include <linux/completion.h>*/
+#include <xeno/config.h>
+#include <xeno/kernel.h>
+#include <xeno/init.h>
+#include <xeno/types.h>
+#include <xeno/sched.h>
+#include <xeno/pci.h>
+#include <xeno/spinlock.h>
+#include <xeno/slab.h>
+#include <xeno/blk.h>
+#include <xeno/delay.h>
+/*#include <xeno/completion.h>*/
 /*#include <asm/semaphore.h>*/
 #include "scsi.h"
 #include "hosts.h"
index 9a453176dfabb7c4be6222782a475411b226917b..8ea49df6a4bd666e9d85b3d98c88a15409371c97 100644 (file)
  *
  */
 
-#include <linux/config.h>
-#include <linux/kernel.h>
-#include <linux/init.h>
-#include <linux/types.h>
-#include <linux/sched.h>
-#include <linux/pci.h>
-#include <linux/spinlock.h>
-#include <linux/slab.h>
-#include <linux/blk.h>
-#include <linux/delay.h>
-/*#include <linux/completion.h>*/
+#include <xeno/config.h>
+#include <xeno/kernel.h>
+#include <xeno/init.h>
+#include <xeno/types.h>
+#include <xeno/sched.h>
+#include <xeno/pci.h>
+#include <xeno/spinlock.h>
+#include <xeno/slab.h>
+#include <xeno/blk.h>
+#include <xeno/delay.h>
+/*#include <xeno/completion.h>*/
 /*#include <asm/semaphore.h>*/
 #include "scsi.h"
 #include "hosts.h"
index aea16f77d9ad7fa142ae94d0880891af32b62b28..6399a11e5a7cc9f8b790b77fbbb6529d4c57cdd5 100644 (file)
@@ -10,7 +10,7 @@
 
 #include <xeno/config.h>
 #include <xeno/blk.h>
-/*#include <linux/kernel.h> */
+/*#include <xeno/kernel.h> */
 #include "scsi.h"
 #include "hosts.h"
 
index 94c2118da0f03547e19a2660b35368c8e2556718..0968ea447e3de12bb4c50816fa16934159f3b6ff 100644 (file)
@@ -16,7 +16,7 @@
 #include "constants.h"
 
 #ifdef CONFIG_KMOD
-#include <linux/kmod.h>
+#include <xeno/kmod.h>
 #endif
 
 /*
index 7f1df6e8f1881d90f8d3bfc90b30aab2a30997ce..8cb506a3ead529554982170f78bc6235f428941b 100644 (file)
 #include <asm/system.h>
 #include <asm/page.h>
 
-/*  #include <linux/interrupt.h> */
-/*  #include <linux/errno.h> */
-/*  #include <linux/kernel.h> */
+/*  #include <xeno/interrupt.h> */
+/*  #include <xeno/errno.h> */
+/*  #include <xeno/kernel.h> */
 #include <xeno/sched.h>
-/*  #include <linux/mm.h> */
-/*  #include <linux/string.h> */
+/*  #include <xeno/mm.h> */
+/*  #include <xeno/string.h> */
 
 #include <xeno/blk.h>
 #include "scsi.h"
index 8a503da7981307223462e4493d21fb4289ac136b..e43302189ab5c561e4941d216b687186b8c14f23 100644 (file)
@@ -30,7 +30,7 @@
  */
 
 #include <xeno/module.h>
-#include <linux/init.h>
+#include <xeno/init.h>
 
 extern int scsi_register_module(int, void *);
 extern int scsi_unregister_module(int, void *);
index d5309d2669c2ab24e03c8574e5cf6c773ce51b7a..4ab56522de417c564a96545e4463ad8433a615dc 100644 (file)
  */
 
 #define __NO_VERSION__
-#include <linux/module.h>
-
-#include <linux/sched.h>
-#include <linux/timer.h>
-#include <linux/string.h>
-#include <linux/slab.h>
-#include <linux/ioport.h>
-#include <linux/kernel.h>
-/*#include <linux/stat.h>*/
-#include <linux/blk.h>
-#include <linux/interrupt.h>
-#include <linux/delay.h>
+#include <xeno/module.h>
+
+#include <xeno/sched.h>
+#include <xeno/timer.h>
+#include <xeno/string.h>
+#include <xeno/slab.h>
+#include <xeno/ioport.h>
+#include <xeno/kernel.h>
+/*#include <xeno/stat.h>*/
+#include <xeno/blk.h>
+#include <xeno/interrupt.h>
+#include <xeno/delay.h>
 
 #include <asm/system.h>
 #include <asm/irq.h>
index 04f4715992bf8dd02022cf711ed01562ad2820f2..b48f4fe0047f027a2980b3cca76ec7c60d2477ac 100644 (file)
@@ -20,7 +20,7 @@
 #include "constants.h"
 
 #ifdef CONFIG_KMOD
-#include <linux/kmod.h>
+#include <xeno/kmod.h>
 #endif
 
 /* 
index ae13d27cdc965a0b10ea9ddb9402818cbc73c01f..7f1ebd33c5d7820cec0a9ebfaaf7fc3ee01e7fcf 100644 (file)
 #include <xeno/module.h>
 
 
-/*#include <linux/fs.h>*/
-/*#include <linux/genhd.h>*/
+/*#include <xeno/fs.h>*/
+/*#include <xeno/genhd.h>*/
 #include <xeno/blk.h>
-/*#include <linux/kernel.h>*/
+/*#include <xeno/kernel.h>*/
 #include <asm/unaligned.h>
 #include "scsi.h"
 #include "hosts.h"
index 23db7c2ce02cc2d2fe498b154706b393f773f886..087de8ec942ae79b2c7b4ad4e0ef43f1dc0ab231 100644 (file)
@@ -51,7 +51,7 @@
  */
 #define SYM_GLUE_C
 
-#include <linux/module.h>
+#include <xeno/module.h>
 #include "sym_glue.h"
 
 #define NAME53C                "sym53c"
index 705942596c1db14802b2fc0b5e63ef8c7c30c3c2..5fa65fbb196aff29f9f9ab5e0c802adb97daebe9 100644 (file)
@@ -1,7 +1,7 @@
 #ifndef __ASM_APIC_H
 #define __ASM_APIC_H
 
-#include <linux/config.h>
+#include <xeno/config.h>
 #include <asm/ptrace.h>
 #include <asm/apicdef.h>
 #include <asm/system.h>
index bbfb629fae264b31cf60b2221cb38fedcf71ad62..74b88b975f8da7d5d297fe62b56e806a66993cb9 100644 (file)
@@ -7,7 +7,7 @@
 
 /* For avoiding bswap on i386 */
 #ifdef __KERNEL__
-#include <linux/config.h>
+#include <xeno/config.h>
 #endif
 
 static __inline__ __const__ __u32 ___arch__swab32(__u32 x)
@@ -42,6 +42,6 @@ static __inline__ __const__ __u16 ___arch__swab16(__u16 x)
 
 #endif /* __GNUC__ */
 
-#include <linux/byteorder/little_endian.h>
+#include <xeno/byteorder/little_endian.h>
 
 #endif /* _I386_BYTEORDER_H */
index f24c90a7bd5dd28a9630292fcc6af16c9e03830f..06ca344ab4419ae278f99a29ca90729aeda71688 100644 (file)
@@ -8,10 +8,10 @@
 #ifndef _ASM_DMA_H
 #define _ASM_DMA_H
 
-#include <linux/config.h>
-#include <linux/spinlock.h>    /* And spinlocks */
+#include <xeno/config.h>
+#include <xeno/spinlock.h>     /* And spinlocks */
 #include <asm/io.h>            /* need byte IO */
-#include <linux/delay.h>
+#include <xeno/delay.h>
 
 
 #ifdef HAVE_REALLY_SLOW_DMA_CONTROLLER
index 6642abf4676b22f41590cbe9069794f80b0cbf43..c7fa6b21f07f8eab4f152e7c8ffcbeba0b127862 100644 (file)
@@ -13,7 +13,7 @@
 
 #ifdef __KERNEL__
 
-#include <linux/config.h>
+#include <xeno/config.h>
 
 #ifndef MAX_HWIFS
 # ifdef CONFIG_BLK_DEV_IDEPCI
index 8260e8de95e8f8f6ba2a3795451f987c1b4fb4f1..79d75924d0e8fa606621287e06050812a197f9bd 100644 (file)
@@ -6,7 +6,7 @@
 
 #define IO_SPACE_LIMIT 0xffff
 
-/*#include <linux/vmalloc.h>*/
+/*#include <xeno/vmalloc.h>*/
 
 /*
  * Temporary debugging check to catch old code using
index a38bef4986a911f58e8225fd9babc04bb74764b8..c6be1fd992619f6a667b0135c0321f3c1bd55670 100644 (file)
@@ -1,7 +1,7 @@
 #ifndef __i386_PCI_H
 #define __i386_PCI_H
 
-#include <linux/config.h>
+#include <xeno/config.h>
 
 #ifdef __KERNEL__
 
@@ -28,10 +28,10 @@ int pcibios_set_irq_routing(struct pci_dev *dev, int pin, int irq);
  * i386 has everything mapped statically.
  */
 
-#include <linux/types.h>
-#include <linux/slab.h>
+#include <xeno/types.h>
+#include <xeno/slab.h>
 #include <asm/scatterlist.h>
-/*#include <linux/string.h>*/
+/*#include <xeno/string.h>*/
 #include <asm/io.h>
 
 struct pci_dev;
index 385da59b5cd62702dd07f1fb7491a3e8d30dc190..5d24754f2a690efbf784107e8f53360758bd03b7 100644 (file)
@@ -2,7 +2,7 @@
 #define _I386_STRING_H_
 
 #ifdef __KERNEL__
-#include <linux/config.h>
+#include <xeno/config.h>
 /*
  * On a 486 or Pentium, we are better off not using the
  * byte string operations. But on a 386 or a PPro the
index 3eeb5d2b7077cf6854c7809162667a9348e96b5c..baeb85194dcbb007fff6be36753aa66d0dfd8827 100644 (file)
@@ -6,7 +6,7 @@
 #ifndef _ASMi386_TIMEX_H
 #define _ASMi386_TIMEX_H
 
-#include <linux/config.h>
+#include <xeno/config.h>
 #include <asm/msr.h>
 
 #ifdef CONFIG_MELAN
index ba19cfb2b37cf44f3dbafc90879eda55654d7377..bd1dae150324d804ff1e0b5c493bbdd2a1158fdd 100644 (file)
@@ -4,10 +4,10 @@
 /*
  * User space memory access functions
  */
-#include <linux/config.h>
-#include <linux/errno.h>
-#include <linux/sched.h>
-#include <linux/prefetch.h>
+#include <xeno/config.h>
+#include <xeno/errno.h>
+#include <xeno/sched.h>
+#include <xeno/prefetch.h>
 #include <asm/page.h>
 
 #define VERIFY_READ 0
index 0bf81715ba86cd0470262704ae0976dcfcfd3843..ba7f343a61d25378a8544d2ac5f2fe26669bf94c 100644 (file)
@@ -1,7 +1,7 @@
 #ifndef __ASM_APIC_H
 #define __ASM_APIC_H
 
-#include <linux/config.h>
+#include <xeno/config.h>
 #include <asm/ptrace.h>
 #include <asm/apicdef.h>
 #include <asm/system.h>
index daef6afb4f25ff27574780b296e30c9b6323ad01..ff06e1d22bd62999d971f14545a9a1364843bf1c 100644 (file)
@@ -27,6 +27,6 @@ static __inline__ __const__ __u32 ___arch__swab32(__u32 x)
 
 #define __BYTEORDER_HAS_U64__
 
-#include <linux/byteorder/little_endian.h>
+#include <xeno/byteorder/little_endian.h>
 
 #endif /* _X86_64_BYTEORDER_H */
index f24c90a7bd5dd28a9630292fcc6af16c9e03830f..06ca344ab4419ae278f99a29ca90729aeda71688 100644 (file)
@@ -8,10 +8,10 @@
 #ifndef _ASM_DMA_H
 #define _ASM_DMA_H
 
-#include <linux/config.h>
-#include <linux/spinlock.h>    /* And spinlocks */
+#include <xeno/config.h>
+#include <xeno/spinlock.h>     /* And spinlocks */
 #include <asm/io.h>            /* need byte IO */
-#include <linux/delay.h>
+#include <xeno/delay.h>
 
 
 #ifdef HAVE_REALLY_SLOW_DMA_CONTROLLER
index 1281bb3b4fc0c072206c850abc1dc4901904be5c..b60946520717c7309f7f3232d31189da6f376f52 100644 (file)
@@ -13,7 +13,7 @@
 
 #ifdef __KERNEL__
 
-#include <linux/config.h>
+#include <xeno/config.h>
 
 #ifndef MAX_HWIFS
 # ifdef CONFIG_BLK_DEV_IDEPCI
index 914ee889d6334bb3dfee796adcca55809e077175..21c22876a2c9a1b5aae470556d4bad8ee78df5a8 100644 (file)
@@ -1,7 +1,7 @@
 #ifndef _ASM_IO_H
 #define _ASM_IO_H
 
-#include <linux/config.h>
+#include <xeno/config.h>
 
 /*
  * This file contains the definitions for the x86 IO instructions
index 256f8770786de509dbd6fcad9090570263848ea9..b016b635b2867907576c8eb05733604f62ba0a5c 100644 (file)
@@ -191,7 +191,7 @@ extern void paging_init(void);
 #define __flush_tlb_one(__addr) \
 __asm__ __volatile__("invlpg %0": :"m" (*(char *) (__addr)))
 
-#include <linux/config.h>
+#include <xeno/config.h>
 
 /*
  * Tell the user there is some problem.  The exception handler decodes this frame.
index df9889d0fe9583c00db9793feb4dfe37bbfdb892..5c931adb365ded97d3cef43968b758c9dbf15b97 100644 (file)
@@ -1,7 +1,7 @@
 #ifndef __x8664_PCI_H
 #define __x8664_PCI_H
 
-#include <linux/config.h>
+#include <xeno/config.h>
 #include <asm/io.h>
 
 
@@ -24,10 +24,10 @@ void pcibios_penalize_isa_irq(int irq);
 struct irq_routing_table *pcibios_get_irq_routing_table(void);
 int pcibios_set_irq_routing(struct pci_dev *dev, int pin, int irq);
 
-#include <linux/types.h>
-#include <linux/slab.h>
+#include <xeno/types.h>
+#include <xeno/slab.h>
 #include <asm/scatterlist.h>
-/*#include <linux/string.h>*/
+/*#include <xeno/string.h>*/
 #include <asm/io.h>
 #include <asm/page.h>
 #include <asm/mmzone.h>
index a2223a59259e94d124f70065fb3dee45035cf8b5..134d2fb9bf5f889794a6987b386c024db76dd8ff 100644 (file)
@@ -1,7 +1,7 @@
 #ifndef X86_64_PDA_H
 #define X86_64_PDA_H
 
-#include <linux/cache.h>
+#include <xeno/cache.h>
 
 /* Per processor datastructure. %gs points to it while the kernel runs */ 
 /* To use a new field with the *_pda macros it needs to be added to tools/offset.c */
index d235040e4e6f69894053d1adb3c433c021ad52f0..29f4651c34f987fba35ebb8cae764884ff3d1c43 100644 (file)
@@ -6,7 +6,7 @@
 #ifndef _ASMx8664_TIMEX_H
 #define _ASMx8664_TIMEX_H
 
-#include <linux/config.h>
+#include <xeno/config.h>
 #include <asm/msr.h>
 
 #define CLOCK_TICK_RATE (vxtime_hz)
index 3e9bc4a9bc1d24b76f7ee5dbb84927f36db667cb..56a7a42aeb5e50cd41556e53fe30e844732472f8 100644 (file)
@@ -4,10 +4,10 @@
 /*
  * User space memory access functions
  */
-#include <linux/config.h>
-#include <linux/sched.h>
-#include <linux/prefetch.h>
-#include <linux/errno.h>
+#include <xeno/config.h>
+#include <xeno/sched.h>
+#include <xeno/prefetch.h>
+#include <xeno/errno.h>
 #include <asm/page.h>
 
 #define VERIFY_READ 0
diff --git a/xen/include/hypervisor-ifs/trace.h b/xen/include/hypervisor-ifs/trace.h
new file mode 100644 (file)
index 0000000..4d267ba
--- /dev/null
@@ -0,0 +1,35 @@
+/******************************************************************************
+ * include/hypervisor-ifs/trace.h
+ */
+
+#ifndef __HYPERVISOR_IFS_TRACE_H__
+#define __HYPERVISOR_IFS_TRACE_H__
+
+/* This structure represents a single trace buffer record. */
+struct t_rec {
+    u64 cycles;               /* 64 bit cycle counter timestamp */
+    u32 event;                /* 32 bit event ID                */
+    u32 d1, d2, d3, d4, d5;   /* event data items               */
+};
+
+/*
+ * This structure contains the metadata for a single trace buffer.  The head
+ * field, indexes into an array of struct t_rec's.
+ */
+struct t_buf {
+    struct t_rec *data;     /* pointer to data area.  physical address
+                             * for convenience in user space code            */
+
+    unsigned int size;      /* size of the data area, in t_recs              */
+    unsigned int head;      /* array index of the most recent record         */
+
+#ifdef __KERNEL__
+    struct t_rec *head_ptr; /* pointer to the head record                    */
+    struct t_rec *vdata;    /* virtual address pointer to data               */
+    spinlock_t lock;        /* ensure mutually exlusive access (for inserts) */
+#endif
+
+    /* never add anything here - the kernel stuff must be the last elements */
+};
+
+#endif /* __HYPERVISOR_IFS_TRACE_H__ */
index 208c4573381a617342c74ab07f27fca543454558..96bfe4ac5535d46e21ddd672cf50f3c81441bd64 100644 (file)
@@ -38,12 +38,12 @@ enum brlock_indices {
        __BR_END
 };
 
-#include <linux/config.h>
+#include <xeno/config.h>
 
 #ifdef CONFIG_SMP
 
-#include <linux/cache.h>
-#include <linux/spinlock.h>
+#include <xeno/cache.h>
+#include <xeno/spinlock.h>
 
 #if defined(__i386__) || defined(__ia64__) || defined(__x86_64__)
 #define __BRLOCK_USE_ATOMICS
index b84efd74c9959b045c206ab0a57c867f687b7895..c3c0ecdf72af1db681011bbf68dd1b6c0955b361 100644 (file)
@@ -8,7 +8,7 @@
 #define __BIG_ENDIAN_BITFIELD
 #endif
 
-#include <linux/byteorder/swab.h>
+#include <xeno/byteorder/swab.h>
 
 #define __constant_htonl(x) ((__u32)(x))
 #define __constant_ntohl(x) ((__u32)(x))
@@ -63,6 +63,6 @@
 #define __cpu_to_be16s(x) do {} while (0)
 #define __be16_to_cpus(x) do {} while (0)
 
-#include <linux/byteorder/generic.h>
+#include <xeno/byteorder/generic.h>
 
 #endif /* _LINUX_BYTEORDER_BIG_ENDIAN_H */
index 1431663621567e22a2285ea8c185b5448772bca6..bdc276ba3cc28bdb746297e2fc0c6073edca9a4d 100644 (file)
@@ -8,7 +8,7 @@
 #define __LITTLE_ENDIAN_BITFIELD
 #endif
 
-#include <linux/byteorder/swab.h>
+#include <xeno/byteorder/swab.h>
 
 #define __constant_htonl(x) ___constant_swab32((x))
 #define __constant_ntohl(x) ___constant_swab32((x))
@@ -63,6 +63,6 @@
 #define __cpu_to_be16s(x) __swab16s((x))
 #define __be16_to_cpus(x) __swab16s((x))
 
-#include <linux/byteorder/generic.h>
+#include <xeno/byteorder/generic.h>
 
 #endif /* _LINUX_BYTEORDER_LITTLE_ENDIAN_H */
index 618631cbc6e38a9fbbadddce26671a1bab6d302b..9f4f98373193854398c20779b8756954de3e70f3 100644 (file)
@@ -27,8 +27,8 @@
 #define __PDP_ENDIAN_BITFIELD
 #endif
 
-#include <linux/byteorder/swab.h>
-#include <linux/byteorder/swabb.h>
+#include <xeno/byteorder/swab.h>
+#include <xeno/byteorder/swabb.h>
 
 #define __constant_htonl(x) ___constant_swahb32((x))
 #define __constant_ntohl(x) ___constant_swahb32((x))
@@ -83,6 +83,6 @@
 #define __cpu_to_be16s(x) __swab16s((x))
 #define __be16_to_cpus(x) __swab16s((x))
 
-#include <linux/byteorder/generic.h>
+#include <xeno/byteorder/generic.h>
 
 #endif /* _LINUX_BYTEORDER_PDP_ENDIAN_H */
index ecd4d0478a94f2a16e46b8443ee2093a4e362c5c..a9cd9720b34afe4e6a6f6b3b4be3160e5bae2d78 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * -- <linux/cdrom.h>
+ * -- <xeno/cdrom.h>
  * General header file for linux CD-ROM drivers 
  * Copyright (C) 1992         David Giller, rafetmad@oxy.edu
  *               1994, 1995   Eberhard Moenkeberg, emoenke@gwdg.de
@@ -716,7 +716,7 @@ struct request_sense {
 
 #ifdef __KERNEL__
 #if 0
-#include <linux/devfs_fs_kernel.h>
+#include <xeno/devfs_fs_kernel.h>
 #else
 #include <xeno/kdev_t.h>
 #endif
index 01497365db566d3b2d78ce4539a97927e707b9a6..ae8852fe4c5e42c47599aadb0860d67435535d5b 100644 (file)
@@ -7,7 +7,7 @@
 #ifndef _LINUX_CRC32_H
 #define _LINUX_CRC32_H
 
-#include <linux/types.h>
+#include <xeno/types.h>
 
 /* The little-endian AUTODIN II ethernet CRC calculation.
    N.B. Do not use for bulk data, use a table-based routine instead.
index bac9b4d5ad039046ccde1fa231daa91a3cbb7550..42fd14b18c1316827443fe6c42cc141710b4c85d 100644 (file)
@@ -24,7 +24,7 @@
 #ifndef _LINUX_ETHERDEVICE_H
 #define _LINUX_ETHERDEVICE_H
 
-#include <linux/if_ether.h>
+#include <xeno/if_ether.h>
 
 #ifdef __KERNEL__
 extern int             eth_header(struct sk_buff *skb, struct net_device *dev,
index 58a1734a569a9bef900ef390656da6ab86d04a8c..f60cfb02363bde74f7589a27209f67c63b37f654 100644 (file)
@@ -56,7 +56,7 @@ struct partition {
 } __attribute__((packed));
 
 #ifdef __KERNEL__
-/*#  include <linux/devfs_fs_kernel.h>*/
+/*#  include <xeno/devfs_fs_kernel.h>*/
 
 struct hd_struct {
        unsigned long start_sect;
index 703b7501102bc4c02ace021a601e72c2f860406a..a1406aa043085455bff1cbf352852778bc8466e4 100644 (file)
@@ -650,7 +650,7 @@ struct hd_driveid {
 /*
  * These routines are used for kernel command line parameters from main.c:
  */
-#include <linux/config.h>
+#include <xeno/config.h>
 
 #if defined(CONFIG_BLK_DEV_IDE) || defined(CONFIG_BLK_DEV_IDE_MODULE)
 int ide_register(int io_port, int ctl_port, int irq);
index 8d3fc2b7fce1a77667228a8658bf6f38fd4aad68..f7908a366a1aed77acb2e5f80f5cd6d51a817df1 100644 (file)
@@ -19,8 +19,8 @@
 #ifndef _LINUX_IF_H
 #define _LINUX_IF_H
 
-#include <linux/types.h>               /* for "__kernel_caddr_t" et al */
-#include <linux/socket.h>              /* for "struct sockaddr" et al  */
+#include <xeno/types.h>                /* for "__kernel_caddr_t" et al */
+#include <xeno/socket.h>               /* for "struct sockaddr" et al  */
 
 /* Standard interface flags (netdevice->flags). */
 #define        IFF_UP          0x1             /* interface is up              */
index d3e96bc4cf8dadede21a20a6bfac1feb84e8bd87..9ffc01474c60b1a4500da38d4c6a8f4421b00ec0 100644 (file)
@@ -23,8 +23,8 @@ struct packet_type;
 struct vlan_collection;
 struct vlan_dev_info;
 
-//#include <linux/proc_fs.h> /* for proc_dir_entry */
-#include <linux/netdevice.h>
+//#include <xeno/proc_fs.h> /* for proc_dir_entry */
+#include <xeno/netdevice.h>
 
 #define VLAN_HLEN      4               /* The additional bytes (on top of the Ethernet header)
                                         * that VLAN requires.
index 5c4477f18c3c53b1b8aff4b13fc2a93081c25ab7..554fe7fc828a6ffdd06ad5936a7f3c78d5f2f972 100644 (file)
@@ -1,7 +1,7 @@
 #ifndef _LINUX_INIT_H
 #define _LINUX_INIT_H
 
-#include <linux/config.h>
+#include <xeno/config.h>
 
 /* These macros are used to mark some functions or 
  * initialized data (doesn't apply to uninitialized data)
index 72a134c7166bfbae7cdffcc4af9ff54e5f934255..b044705de2dc8f4ce1b17c9fd6651c7f9c20b637 100644 (file)
@@ -2,10 +2,10 @@
 #ifndef _LINUX_INTERRUPT_H
 #define _LINUX_INTERRUPT_H
 
-#include <linux/config.h>
-#include <linux/lib.h>
-#include <linux/smp.h>
-#include <linux/cache.h>
+#include <xeno/config.h>
+#include <xeno/lib.h>
+#include <xeno/smp.h>
+#include <xeno/cache.h>
 
 #include <asm/bitops.h>
 #include <asm/atomic.h>
index b34058ada7e235af459bea37c243467163317822..55bcbaff1a07ce6b5c4dfc38d8590cea22bbdd24 100644 (file)
@@ -8,7 +8,7 @@
 #ifndef __LINUX_MII_H__
 #define __LINUX_MII_H__
 
-#include <linux/types.h>
+#include <xeno/types.h>
 
 /* Generic MII registers. */
 
index 5e8ce698d6e2a4257ede502e86b2494a5c68f01a..468515ce747378532b51ebbe8b236345d30b8624 100644 (file)
@@ -7,9 +7,9 @@
 #ifndef _LINUX_MODULE_H
 #define _LINUX_MODULE_H
 
-#include <linux/config.h>
-#include <linux/spinlock.h>
-#include <linux/list.h>
+#include <xeno/config.h>
+#include <xeno/spinlock.h>
+#include <xeno/list.h>
 
 #ifdef __GENKSYMS__
 #  define _set_ver(sym) sym
@@ -18,7 +18,7 @@
 #else /* ! __GENKSYMS__ */
 # if !defined(MODVERSIONS) && defined(EXPORT_SYMTAB)
 #   define _set_ver(sym) sym
-#   include <linux/modversions.h>
+#   include <xeno/modversions.h>
 # endif
 #endif /* __GENKSYMS__ */
 
@@ -303,7 +303,7 @@ extern struct module __this_module;
 #define MOD_IN_USE             __MOD_IN_USE(THIS_MODULE)
 
 #if 0
-#include <linux/version.h>
+#include <xeno/version.h>
 static const char __module_kernel_version[] __attribute__((section(".modinfo"))) =
 "kernel_version=" UTS_RELEASE;
 #ifdef MODVERSIONS
index 0db9736c11665c84d0fec7462a49febe9e7fab74..cedb68689f5307a540da5671f451b665bf5982e0 100644 (file)
@@ -9,7 +9,7 @@
  
 #ifndef _LINUX_NOTIFIER_H
 #define _LINUX_NOTIFIER_H
-#include <linux/errno.h>
+#include <xeno/errno.h>
 
 struct notifier_block
 {
index 0c45623eabd4fdb541f284ab2f6e03547d966ee6..e389b00ef44251fa2cfaa64ce70ad47ccce9d004 100644 (file)
 
 /* Include the ID list */
 
-#include <linux/pci_ids.h>
+#include <xeno/pci_ids.h>
 
 /*
  * The PCI interface treats multi-function devices as independent
 
 #ifdef __KERNEL__
 
-#include <linux/types.h>
-#include <linux/config.h>
-#include <linux/ioport.h>
-#include <linux/list.h>
-#include <linux/errno.h>
+#include <xeno/types.h>
+#include <xeno/config.h>
+#include <xeno/ioport.h>
+#include <xeno/list.h>
+#include <xeno/errno.h>
 
 /* File state for mmap()s on /proc/bus/pci/X/Y */
 enum pci_mmap_state {
index 5f128a952550cb6baa81c836b162db3fab0eda98..670513910810560b6d2d0eb29b81b3bc3b47afbd 100644 (file)
@@ -32,7 +32,7 @@
 
 #ifdef __KERNEL__
 
-#include <linux/notifier.h>
+#include <xeno/notifier.h>
 
 extern int register_reboot_notifier(struct notifier_block *);
 extern int unregister_reboot_notifier(struct notifier_block *);
index 4325deb4ae989fe26e5b0d7b6a6d0d03f9ebf560..4ea39cc6364a88e84377d58611d0685d577e9db7 100644 (file)
 #ifndef _LINUX_SKBUFF_H
 #define _LINUX_SKBUFF_H
 
-#include <linux/config.h>
-#include <linux/lib.h>
-#include <linux/time.h>
-#include <linux/timer.h>
-#include <linux/cache.h>
-#include <linux/slab.h>
+#include <xeno/config.h>
+#include <xeno/lib.h>
+#include <xeno/time.h>
+#include <xeno/timer.h>
+#include <xeno/cache.h>
+#include <xeno/slab.h>
 #include <asm/system.h>
 #include <asm/atomic.h>
 #include <asm/types.h>
-#include <linux/mm.h>
+#include <xeno/mm.h>
 #include <xeno/vif.h>
 
 /* skb_type values */
index 92e7b93ae5d63d02c20d2b058cb4fb5ee2ec9214..69636e7f0661377a925ddb8b604e89e2af2a33e9 100644 (file)
@@ -4,9 +4,9 @@
 #if defined(__KERNEL__) || !defined(__GLIBC__) || (__GLIBC__ < 2)
 
 //#include <asm/socket.h>                      /* arch-dependent defines       */
-#include <linux/sockios.h>             /* the SIOCxxx I/O controls     */
-//#include <linux/uio.h>                       /* iovec support                */
-#include <linux/types.h>               /* pid_t                        */
+#include <xeno/sockios.h>              /* the SIOCxxx I/O controls     */
+//#include <xeno/uio.h>                        /* iovec support                */
+#include <xeno/types.h>                /* pid_t                        */
 
 typedef unsigned short sa_family_t;
 
index 08f2eb6098d6d60f88d8835432f912a7fd28f6fe..a6e7fa5e4ed463bc3175fd04051367c364bb834c 100644 (file)
@@ -93,7 +93,7 @@ typedef struct {
 } spinlock_t;
 #define SPIN_LOCK_UNLOCKED (spinlock_t) { 0, 25, __BASE_FILE__ }
 
-/*#include <linux/kernel.h>*/
+/*#include <xeno/kernel.h>*/
 
 #define spin_lock_init(x)      do { (x)->lock = 0; } while (0)
 #define spin_is_locked(lock)   (test_bit(0,(lock)))
index 71ab1c4ef8af3f0e2a99d4c7f9a806aeb2807ed2..6bba29790a131cd0a75359cc5dd489a20242ba08 100644 (file)
@@ -5,8 +5,8 @@
 
 #ifdef __KERNEL__
 
-#include <linux/types.h>       /* for size_t */
-//#include <linux/stddef.h>    /* for NULL */
+#include <xeno/types.h>        /* for size_t */
+//#include <xeno/stddef.h>     /* for NULL */
 
 #ifdef __cplusplus
 extern "C" {
index dcde75b1824880bd7ce7910f8e9c6a1c2cecf694..4c1ff6d43c308a831eecc7c28cfa2a253968f6c0 100644 (file)
@@ -1,8 +1,8 @@
 #ifndef _LINUX_TIMER_H
 #define _LINUX_TIMER_H
 
-#include <linux/config.h>
-#include <linux/list.h>
+#include <xeno/config.h>
+#include <xeno/list.h>
 
 /*
  * In Linux 2.4, static timers have been removed from the kernel.
index 3cf830d3f7259b6fdc8ab9f093a9355989026aa1..9d46fd9dff2cb50221ef0b7e9e30f43ab795d94f 100644 (file)
@@ -13,8 +13,8 @@
 #ifndef _LINUX_TQUEUE_H
 #define _LINUX_TQUEUE_H
 
-#include <linux/spinlock.h>
-#include <linux/list.h>
+#include <xeno/spinlock.h>
+#include <xeno/list.h>
 #include <asm/bitops.h>
 #include <asm/system.h>
 
index 9268145905fa8908002792b2a99ceba086b6501a..fb8a214d62933374614f475b488db83ee9506200 100644 (file)
 #ifndef __XENO_TRACE_H__
 #define __XENO_TRACE_H__
 
-/* This structure represents a single trace buffer record. */
-struct t_rec {
-    u64 cycles;               /* 64 bit cycle counter timestamp */
-    u32 event;                /* 32 bit event ID                */
-    u32 d1, d2, d3, d4, d5;   /* event data items               */
-};
-
-/*
- * This structure contains the metadata for a single trace buffer.  The head
- * field, indexes into an array of struct t_rec's.
- */
-struct t_buf {
-    struct t_rec *data;     /* pointer to data area.  physical address
-                             * for convenience in user space code            */
-
-    unsigned int size;      /* size of the data area, in t_recs              */
-    unsigned int head;      /* array index of the most recent record         */
-
-#ifdef __KERNEL__
-    struct t_rec *head_ptr; /* pointer to the head record                    */
-    struct t_rec *vdata;    /* virtual address pointer to data               */
-    spinlock_t lock;        /* ensure mutually exlusive access (for inserts) */
-#endif
-
-    /* never add anything here - the kernel stuff must be the last elements */
-};
+#include <hypervisor-ifs/trace.h>
 
 #ifdef TRACE_BUFFER
 
index afa85895ec11a78924cbf9c30b5abaf6926f1f52..3f3d317931837c73a90589c3fcb10e217faaad25 100644 (file)
 #include <asm/uaccess.h>
 #include <asm/system.h>
 #include <asm/bitops.h>
-#include <linux/config.h>
-#include <linux/delay.h>
-#include <linux/lib.h>
-#include <linux/types.h>
-#include <linux/sched.h>
-#include <linux/mm.h>
-#include <linux/socket.h>
-#include <linux/sockios.h>
-#include <linux/errno.h>
-#include <linux/interrupt.h>
-#include <linux/if_ether.h>
-#include <linux/netdevice.h>
-#include <linux/etherdevice.h>
-#include <linux/skbuff.h>
-#include <linux/brlock.h>
-#include <linux/init.h>
-#include <linux/module.h>
-#include <linux/event.h>
+#include <xeno/config.h>
+#include <xeno/delay.h>
+#include <xeno/lib.h>
+#include <xeno/types.h>
+#include <xeno/sched.h>
+#include <xeno/mm.h>
+#include <xeno/socket.h>
+#include <xeno/sockios.h>
+#include <xeno/errno.h>
+#include <xeno/interrupt.h>
+#include <xeno/if_ether.h>
+#include <xeno/netdevice.h>
+#include <xeno/etherdevice.h>
+#include <xeno/skbuff.h>
+#include <xeno/brlock.h>
+#include <xeno/init.h>
+#include <xeno/module.h>
+#include <xeno/event.h>
 #include <asm/domain_page.h>
 #include <asm/pgalloc.h>
 #include <asm/io.h>
index d7d2ae338dcd71ef1108d9774024501a55a3e006..c460b9497ea85ef6f45f4cd4b6f3234e04a36cea 100644 (file)
  *     2 of the License, or (at your option) any later version.
  */
 
-#include <linux/config.h> 
-#include <linux/lib.h> 
+#include <xeno/config.h> 
+#include <xeno/lib.h> 
 #include <asm/uaccess.h>
 #include <asm/system.h>
 #include <asm/bitops.h>
-#include <linux/types.h>
-//#include <linux/kernel.h>
-#include <linux/sched.h>
-//#include <linux/string.h>
-#include <linux/mm.h>
-#include <linux/socket.h>
-#include <linux/sockios.h>
-//#include <linux/in.h>
-#include <linux/errno.h>
-#include <linux/interrupt.h>
-#include <linux/if_ether.h>
-//#include <linux/inet.h>
-#include <linux/netdevice.h>
-#include <linux/etherdevice.h>
-//#include <linux/proc_fs.h>
-#include <linux/init.h>
+#include <xeno/types.h>
+//#include <xeno/kernel.h>
+#include <xeno/sched.h>
+//#include <xeno/string.h>
+#include <xeno/mm.h>
+#include <xeno/socket.h>
+#include <xeno/sockios.h>
+//#include <xeno/in.h>
+#include <xeno/errno.h>
+#include <xeno/interrupt.h>
+#include <xeno/if_ether.h>
+//#include <xeno/inet.h>
+#include <xeno/netdevice.h>
+#include <xeno/etherdevice.h>
+//#include <xeno/proc_fs.h>
+#include <xeno/init.h>
 //#include <net/ip.h>
 //#include <net/route.h>
-#include <linux/skbuff.h>
+#include <xeno/skbuff.h>
 //#include <net/sock.h>
 //#include <net/arp.h>
 
index f3ce2c39d43572a3e7086594bb8f09ad9b413f8a..a4a5e202426478feb80efc757d1c480540c45fcb 100644 (file)
 #include <asm/uaccess.h>
 #include <asm/system.h>
 #include <asm/bitops.h>
-#include <linux/config.h>
-#include <linux/types.h>
-#include <linux/sched.h>
-#include <linux/lib.h>
-#include <linux/mm.h>
-#include <linux/socket.h>
-#include <linux/sockios.h>
-#include <linux/errno.h>
-#include <linux/interrupt.h>
-#include <linux/netdevice.h>
-#include <linux/skbuff.h>
-#include <linux/init.h>
+#include <xeno/config.h>
+#include <xeno/types.h>
+#include <xeno/sched.h>
+#include <xeno/lib.h>
+#include <xeno/mm.h>
+#include <xeno/socket.h>
+#include <xeno/sockios.h>
+#include <xeno/errno.h>
+#include <xeno/interrupt.h>
+#include <xeno/netdevice.h>
+#include <xeno/skbuff.h>
+#include <xeno/init.h>
 
 static void dev_watchdog(unsigned long arg)
 {
index 5238de022ef021d55af57bfdf2567abf7ac18fcc..ad669feb3a9b535ae2f91e08431f2a96965e82f5 100644 (file)
  *             as published by the Free Software Foundation; either version
  *             2 of the License, or (at your option) any later version.
  */
-#include <linux/types.h>
-//#include <linux/kernel.h>
-#include <linux/sched.h>
-//#include <linux/string.h>
-#include <linux/mm.h>
-#include <linux/socket.h>
-//#include <linux/in.h>
-//#include <linux/inet.h>
-//#include <linux/ip.h>
-#include <linux/netdevice.h>
-#include <linux/etherdevice.h>
-#include <linux/skbuff.h>
-#include <linux/errno.h>
-#include <linux/config.h>
-#include <linux/lib.h>
-#include <linux/init.h>
+#include <xeno/types.h>
+//#include <xeno/kernel.h>
+#include <xeno/sched.h>
+//#include <xeno/string.h>
+#include <xeno/mm.h>
+#include <xeno/socket.h>
+//#include <xeno/in.h>
+//#include <xeno/inet.h>
+//#include <xeno/ip.h>
+#include <xeno/netdevice.h>
+#include <xeno/etherdevice.h>
+#include <xeno/skbuff.h>
+#include <xeno/errno.h>
+#include <xeno/config.h>
+#include <xeno/lib.h>
+#include <xeno/init.h>
 //#include <net/dst.h>
 //#include <net/arp.h>
 //#include <net/sock.h>
index 5fcc044c5e71074f30ae050b0ad59f2369dc5b53..c91f2d5fc2c08b607832e10f2d083a7287818a3b 100644 (file)
  *     2 of the License, or (at your option) any later version.
  */
 
-#include <linux/config.h>
-#include <linux/lib.h>
-#include <linux/errno.h>
-#include <linux/types.h>
-#include <linux/sched.h>
-#include <linux/mm.h>
-#include <linux/interrupt.h>
-#include <linux/slab.h>
-#include <linux/netdevice.h>
-#include <linux/skbuff.h>
-#include <linux/cache.h>
-#include <linux/init.h>
+#include <xeno/config.h>
+#include <xeno/lib.h>
+#include <xeno/errno.h>
+#include <xeno/types.h>
+#include <xeno/sched.h>
+#include <xeno/mm.h>
+#include <xeno/interrupt.h>
+#include <xeno/slab.h>
+#include <xeno/netdevice.h>
+#include <xeno/skbuff.h>
+#include <xeno/cache.h>
+#include <xeno/init.h>
 
 #include <asm/uaccess.h>
 #include <asm/system.h>